Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / logs / account-bounded

diff --git a/JMCR-Stable/mcr-test/logs/account-bounded b/JMCR-Stable/mcr-test/logs/account-bounded
new file mode 100644 (file)
index 0000000..d1f2c74
--- /dev/null
+++ b/JMCR-Stable/mcr-test/logs/account-bounded
@@ -0,0 +1,154 @@
+EXPLORING: test2RingTransferAndInvariantCheck
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 114
+NUMBER OF CHOICES: 5475
+MAX CHOICE DEPTH: 51
+NUMBER OF EVENTS: 5703
+MAX NUM EVENTS IN A SCHEDULE: 53
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:00
+=================================================
+
+
+EXPLORING: test3RingTransferAndInvariantCheck
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 2022
+NUMBER OF CHOICES: 141540
+MAX CHOICE DEPTH: 70
+NUMBER OF EVENTS: 147606
+MAX NUM EVENTS IN A SCHEDULE: 73
+MAX NUM THREADS IN A SCHEDULE: 3
+EXPLORATION TIME: 0:00:05
+=================================================
+
+
+EXPLORING: test5RingTransferAndInvariantCheck
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 357120
+NUMBER OF CHOICES: 40711680
+MAX CHOICE DEPTH: 114
+NUMBER OF EVENTS: 42497280
+MAX NUM EVENTS IN A SCHEDULE: 119
+MAX NUM THREADS IN A SCHEDULE: 5
+EXPLORATION TIME: 0:19:10
+=================================================
+
+
+EXPLORING: test2ThreadDepositAndCheckInvariant
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 8
+NUMBER OF CHOICES: 94
+MAX CHOICE DEPTH: 12
+NUMBER OF EVENTS: 104
+MAX NUM EVENTS IN A SCHEDULE: 13
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:00
+=================================================
+
+
+EXPLORING: test3ThreadDepositAndCheckInvariant
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 276
+NUMBER OF CHOICES: 4680
+MAX CHOICE DEPTH: 18
+NUMBER OF EVENTS: 4968
+MAX NUM EVENTS IN A SCHEDULE: 18
+MAX NUM THREADS IN A SCHEDULE: 3
+EXPLORATION TIME: 0:00:00
+=================================================
+
+
+EXPLORING: test5ThreadDepositAndCheckInvariant
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 858360
+NUMBER OF CHOICES: 23381160
+MAX CHOICE DEPTH: 30
+NUMBER OF EVENTS: 24034080
+MAX NUM EVENTS IN A SCHEDULE: 28
+MAX NUM THREADS IN A SCHEDULE: 5
+EXPLORATION TIME: 0:20:39
+=================================================
+
+
+EXPLORING: test2ThreadWithdrawAndCheckInvariant
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 8
+NUMBER OF CHOICES: 94
+MAX CHOICE DEPTH: 12
+NUMBER OF EVENTS: 104
+MAX NUM EVENTS IN A SCHEDULE: 13
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:00
+=================================================
+
+
+EXPLORING: test3ThreadWithdrawAndCheckInvariant
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 276
+NUMBER OF CHOICES: 4680
+MAX CHOICE DEPTH: 18
+NUMBER OF EVENTS: 4968
+MAX NUM EVENTS IN A SCHEDULE: 18
+MAX NUM THREADS IN A SCHEDULE: 3
+EXPLORATION TIME: 0:00:00
+=================================================
+
+
+EXPLORING: test5ThreadWithdrawAndCheckInvariant
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 858360
+NUMBER OF CHOICES: 23381160
+MAX CHOICE DEPTH: 30
+NUMBER OF EVENTS: 24034080
+MAX NUM EVENTS IN A SCHEDULE: 28
+MAX NUM THREADS IN A SCHEDULE: 5
+EXPLORATION TIME: 0:20:34
+=================================================
+
+
+EXPLORING: test2ThreadDepositAndWithdrawAndCheckInvariant
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 8
+NUMBER OF CHOICES: 94
+MAX CHOICE DEPTH: 12
+NUMBER OF EVENTS: 104
+MAX NUM EVENTS IN A SCHEDULE: 13
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:00
+=================================================
+
+
+EXPLORING: test3ThreadDepositAndWithdrawAndCheckInvariant
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 8
+NUMBER OF CHOICES: 94
+MAX CHOICE DEPTH: 12
+NUMBER OF EVENTS: 104
+MAX NUM EVENTS IN A SCHEDULE: 13
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:00
+=================================================
+
+
+EXPLORING: test5ThreadDepositAndWithdrawAndCheckInvariant
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 12408
+NUMBER OF CHOICES: 272040
+MAX CHOICE DEPTH: 24
+NUMBER OF EVENTS: 285384
+MAX NUM EVENTS IN A SCHEDULE: 23
+MAX NUM THREADS IN A SCHEDULE: 4
+EXPLORATION TIME: 0:00:14
+=================================================
+
+
+EXPLORING: test3TransferToTheSame
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 2940
+NUMBER OF CHOICES: 109188
+MAX CHOICE DEPTH: 39
+NUMBER OF EVENTS: 114660
+MAX NUM EVENTS IN A SCHEDULE: 39
+MAX NUM THREADS IN A SCHEDULE: 3
+EXPLORATION TIME: 0:00:04
+=================================================
\ No newline at end of file