Results Liveness Track Properties HWMCC'11 ========================================== SAT+UNSAT ranking (group ranking = solver ranking) ---------------------+----+------------------------------------------------------------ solver fnd | ok | sat uns fld dis to mo s11 s6 sig uk real time space max | | SAT+UNS | | A 1 tip 118 | 77 | 46 31 41 0 41 0 0 0 0 0 3338 3306 1539 236 B 2 iimc-fixed 118 | 73 | 29 44 45 0 45 0 0 0 0 0 7354 7100 2605 240 C 3 tarmobmc 118 | 49 | 49 0 69 0 64 5 0 0 0 0 1243 4907 3870 477 4 tipbmc 118 | 49 | 49 0 69 0 66 0 0 0 0 3 1510 1500 834 235 5 tiprbmc 118 | 49 | 14 35 69 0 69 0 0 0 0 0 1539 1531 262 43 6 tarmo 118 | 47 | 47 0 71 0 47 24 0 0 0 0 704 2740 3593 482 7 aigbmc 118 | 40 | 40 0 78 0 78 0 0 0 0 0 1349 1326 313 52 +----+ * iimc 118 | 77 | 33 44 41 0 37 0 0 0 0 4 6661 6619 2671 246 SAT ranking (1st column group, 2nd solver) ----------------------+-----+-------------------------------------------------------- solver fnd ok | SAT | uns fld dis to mo s11 s6 sig uk real time space max | | A 1 tarmobmc 118 49 | 49 | 0 69 0 64 5 0 0 0 0 1243 4907 3870 477 B 2 tipbmc 118 49 | 49 | 0 69 0 66 0 0 0 0 3 1510 1500 834 235 3 tarmo 118 47 | 47 | 0 71 0 47 24 0 0 0 0 704 2740 3593 482 4 tip 118 77 | 46 | 31 41 0 41 0 0 0 0 0 2278 2259 727 236 C 5 aigbmc 118 40 | 40 | 0 78 0 78 0 0 0 0 0 1349 1326 313 52 6 iimc-fixed 118 73 | 29 | 44 45 0 45 0 0 0 0 0 7354 7100 2605 240 7 tiprbmc 118 49 | 14 | 35 69 0 69 0 0 0 0 0 2 0 0 0 +-----+ * iimc 118 77 | 33 | 44 41 0 37 0 0 0 0 4 6661 6619 2671 246 UNSAT ranking (no group on third place) ---------------------------+-----+---------------------------------------------------- solver fnd ok sat | UNS | fld dis to mo s11 s6 sig uk real time space max | | A 1 iimc-fixed 118 73 29 | 44 | 45 0 45 0 0 0 0 0 7354 7100 2605 240 B 2 tiprbmc 118 49 14 | 35 | 69 0 69 0 0 0 0 0 1538 1531 262 43 3 tip 118 77 46 | 31 | 41 0 41 0 0 0 0 0 1060 1046 811 147 4 tipbmc 118 49 49 | 0 | 69 0 66 0 0 0 0 3 0 0 0 0 5 tarmo 118 47 47 | 0 | 71 0 47 24 0 0 0 0 0 0 0 0 6 aigbmc 118 40 40 | 0 | 78 0 78 0 0 0 0 0 0 0 0 0 7 tarmobmc 118 49 49 | 0 | 69 0 64 5 0 0 0 0 0 0 0 0 +-----+ * iimc 118 77 33 | 44 | 41 0 37 0 0 0 0 4 6661 6619 2671 246 ------------------------------------------------------------------------------------- * competition version 'iimc' gave incorrect results fixed version 'iimc-fixed' solves less instances fnd = found log files ok = ok result = sat + uns sat = #sat uns = #unsat fld = remaining = fnd - ok dis = discrepancies (none) to = time outs mo = memory outs s11 = signal 11 = segementation faults (none) s6 = signal 6 = assertion failure / abort (none) sig = other signal (none) uk = unknow result (bound k=100000 reached) real = real time = wall clock time time = process time space = sum of max memory for all runs max = maximum memory among all runs