#Test 1:ConcurrentRadixTreeTest
status: success

=============== EXPLORATION STATS ===============
NUMBER OF SCHEDULES: 78
EXPLORATION TIME: 0:00:44
=================================================

#Test 2:ConcurrentSuffixTreeTest
status: success

=============== EXPLORATION STATS ===============
NUMBER OF SCHEDULES: 189
EXPLORATION TIME: 1:00:00
A timeout has occurred after 1:00:00
=================================================

#Test 3:ConcurrentInvertedRadixTreeTest
status: success


=============== EXPLORATION STATS ===============
NUMBER OF SCHEDULES: 78
EXPLORATION TIME: 0:00:44
=================================================


#Test 4:ConcurrentReversedRadixTreeTest
status: failed

java.lang.ExceptionInInitializerError
	at java.lang.Class.forName0(Native Method)
	at java.lang.Class.forName(Class.java:264)
	at org.junit.runner.JUnitCore.runMain(JUnitCore.java:86)
	at org.junit.runner.JUnitCore.runMainAndExit(JUnitCore.java:47)
	at org.junit.runner.JUnitCore.main(JUnitCore.java:40)
Caused by: java.lang.NullPointerException
	at edu.tamu.aser.rvinstrumentation.RVRunTime.logFieldAcc(RVRunTime.java:868)
	at com.googlecode.concurrenttrees.mcr.tests.ConcurrentReversedRadixTreeTest.getNodeFactory(ConcurrentReversedRadixTreeTest.java:28)
	at com.googlecode.concurrenttrees.mcr.tests.ConcurrentReversedRadixTreeTest.<clinit>(ConcurrentReversedRadixTreeTest.java:32)
	... 5 more


#Test 5: concurrentlinkedhashmap.MCRMemoryLeakTest

java.lang.RuntimeException: java.lang.NullPointerException
        at com.googlecode.concurrentlinkedhashmap.ConcurrentTestHarness$1.run(ConcurrentTestHarness.java:111)
Caused by: java.lang.NullPointerException
        at edu.tamu.aser.scheduling.ThreadInfo.releasedLock(ThreadInfo.java:71)
        at edu.tamu.aser.exploration.Scheduler.performUnlock(Scheduler.java:725)
        at edu.tamu.aser.rvinstrumentation.RVRunTime.logUnlock(RVRunTime.java:1303)
        at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.tryToDrainBuffers(ConcurrentLinkedHashMap.java:419)
        at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.afterWrite(ConcurrentLinkedHashMap.java:404)
        at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.put(ConcurrentLinkedHashMap.java:727)
        at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.put(ConcurrentLinkedHashMap.java:698)
        at com.googlecode.concurrentlinkedhashmap.MCRMemoryLeakTest$1.run(MCRMemoryLeakTest.java:74)
        at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
        at com.googlecode.concurrentlinkedhashmap.ConcurrentTestHarness$1.run(ConcurrentTestHarness.java:106)

.Attempting to release lock that has was not acquired
Not sure about what's wrong here? It should be because some events not captured?
=============== EXPLORATION STATS ===============
NUMBER OF SCHEDULES: 1
EXPLORATION TIME: 0:08:11
A failure was detected during this exploration!
=================================================