Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/mcr-test/logs/allocation-bounded b/JMCR-Stable/mcr-test/logs/allocation-bounded
new file mode 100644 (file)
index 0000000..8291ee7
--- /dev/null
+++ b/JMCR-Stable/mcr-test/logs/allocation-bounded
@@ -0,0 +1,108 @@
+
+
+EXPLORING: testOneTenthAllocation
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 2354
+NUMBER OF CHOICES: 296442
+MAX CHOICE DEPTH: 127
+NUMBER OF EVENTS: 298958
+MAX NUM EVENTS IN A SCHEDULE: 127
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:09
+=================================================
+
+
+EXPLORING: testOneTenthFreeing
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 20744
+NUMBER OF CHOICES: 4981720
+MAX CHOICE DEPTH: 241
+NUMBER OF EVENTS: 5040792
+MAX NUM EVENTS IN A SCHEDULE: 243
+MAX NUM THREADS IN A SCHEDULE: 4
+EXPLORATION TIME: 0:02:01
+=================================================
+
+
+EXPLORING: testOneTenthAllocationAndFree
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 2354
+NUMBER OF CHOICES: 296442
+MAX CHOICE DEPTH: 127
+NUMBER OF EVENTS: 298958
+MAX NUM EVENTS IN A SCHEDULE: 127
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:07
+=================================================
+
+
+EXPLORING: testHalfAllocation
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 2354
+NUMBER OF CHOICES: 221114
+MAX CHOICE DEPTH: 95
+NUMBER OF EVENTS: 223630
+MAX NUM EVENTS IN A SCHEDULE: 95
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:05
+=================================================
+
+
+EXPLORING: testHalfFreeing
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 20744
+NUMBER OF CHOICES: 4317912
+MAX CHOICE DEPTH: 209
+NUMBER OF EVENTS: 4376984
+MAX NUM EVENTS IN A SCHEDULE: 211
+MAX NUM THREADS IN A SCHEDULE: 4
+EXPLORATION TIME: 0:01:45
+=================================================
+
+
+EXPLORING: testHalfAllocationAndFree
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 2354
+NUMBER OF CHOICES: 221114
+MAX CHOICE DEPTH: 95
+NUMBER OF EVENTS: 223630
+MAX NUM EVENTS IN A SCHEDULE: 95
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:05
+=================================================
+
+
+EXPLORING: testFullAllocation
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 2354
+NUMBER OF CHOICES: 211698
+MAX CHOICE DEPTH: 91
+NUMBER OF EVENTS: 214214
+MAX NUM EVENTS IN A SCHEDULE: 91
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:05
+=================================================
+
+
+EXPLORING: testFullFreeing
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 14184
+NUMBER OF CHOICES: 2440712
+MAX CHOICE DEPTH: 173
+NUMBER OF EVENTS: 2482200
+MAX NUM EVENTS IN A SCHEDULE: 175
+MAX NUM THREADS IN A SCHEDULE: 4
+EXPLORATION TIME: 0:01:00
+=================================================
+
+
+EXPLORING: testFullAllocationAndFree
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 2354
+NUMBER OF CHOICES: 211698
+MAX CHOICE DEPTH: 91
+NUMBER OF EVENTS: 214214
+MAX NUM EVENTS IN A SCHEDULE: 91
+MAX NUM THREADS IN A SCHEDULE: 2
+EXPLORATION TIME: 0:00:05
+=================================================