/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=60.693 T1=60.43
|
OPTIMUM f=1 TT=60.693 T1=60.43
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-0-100-0.wbo
|
MSAT TO f=879 TT=1800.41 T1=1800.09
|
MSAT (TO) f=879 TT=1800.41 T1=1800.09
|
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-0-100-0.wbo
|
MSAT TO f=1539 TT=1800.35 T1=1725.16
|
MSAT (TO) f=1539 TT=1800.35 T1=1725.16
|
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=40.02 T1=37.92
|
OPTIMUM f=1 TT=40.02 T1=37.92
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-0-100-0.wbo
|
MOPT f=2 TT=10.151 T1=7.18
|
OPTIMUM f=2 TT=10.151 T1=7.18
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=67.97 T1=57.47
|
OPTIMUM f=1 TT=67.97 T1=57.47
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-0-100-0.wbo
|
MSAT TO f=1 TT=1800.38 T1=1515.05
|
MSAT (TO) f=1 TT=1800.38 T1=1515.05
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=35.53 T1=35.39
|
OPTIMUM f=1 TT=35.53 T1=35.39
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=19.989 T1=19.82
|
OPTIMUM f=1 TT=19.989 T1=19.82
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=971.673 T1=970.86
|
OPTIMUM f=1 TT=971.673 T1=970.86
|
Bench name | Best results | Sat4j Resolution 2011-06-08 (complete) |
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=77.26 T1=77.02
|
OPTIMUM f=1 TT=77.26 T1=77.02
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-0-100-0.wbo
|
MSAT TO f=358 TT=1800.21 T1=1659.43
|
MSAT (TO) f=358 TT=1800.21 T1=1659.43
|
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=505.682 T1=449.98
|
OPTIMUM f=1 TT=505.682 T1=449.98
|
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-0-100-0.wbo
|
MSAT TO f=3344 TT=1800.3 T1=1781.03
|
MSAT (TO) f=3344 TT=1800.3 T1=1781.03
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-0-100-0.wbo
|
MSAT TO f=76 TT=1800.26 T1=1516.9
|
MSAT (TO) f=76 TT=1800.26 T1=1516.9
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=77.56 T1=68.52
|
OPTIMUM f=1 TT=77.56 T1=68.52
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=171.141 T1=170.99
|
OPTIMUM f=1 TT=171.141 T1=170.99
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=29.125 T1=28.96
|
OPTIMUM f=1 TT=29.125 T1=28.96
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-0-100-0.wbo
|
MOPT f=1 TT=139.429 T1=131.26
|
OPTIMUM f=1 TT=139.429 T1=131.26
|
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-0-100-0.wbo
|
MSAT TO f=759 TT=1800.29 T1=1790.13
|
MSAT (TO) f=759 TT=1800.29 T1=1790.13
|
Bench name | Best results | Sat4j Resolution 2011-06-08 (complete) |
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-0-100-0.wbo
|
MSAT TO f=1416 TT=1800.35 T1=1791.77
|
MSAT (TO) f=1416 TT=1800.35 T1=1791.77
|
/SOFT-BIGINT-LIN/PB10/oliveras/ j120/ normalized-j12013_1-unsat--soft-0-100-0.wbo
|
MSAT TO f=2108 TT=1800.21 T1=13.07
|
MSAT (TO) f=2108 TT=1800.21 T1=13.07
|
/SOFT-BIGINT-LIN/PB10/oliveras/ j120/ normalized-j12015_3-unsat--soft-0-100-0.wbo
|
MSAT TO f=1700 TT=1800.24 T1=1660.4
|
MSAT (TO) f=1700 TT=1800.24 T1=1660.4
|
/SOFT-BIGINT-LIN/PB10/oliveras/ j120/ normalized-j12023_3-unsat--soft-0-100-0.wbo
|
MOPT f=7 TT=6.434 T1=6.04
|
OPTIMUM f=7 TT=6.434 T1=6.04
|
/SOFT-BIGINT-LIN/PB10/oliveras/ j120/ normalized-j12026_5-unsat--soft-0-100-0.wbo
|
MSAT TO f=3199 TT=1800.27 T1=9.61
|
MSAT (TO) f=3199 TT=1800.27 T1=9.61
|
/SOFT-BIGINT-LIN/PB10/oliveras/ j120/ normalized-j12027_7-unsat--soft-0-100-0.wbo
|
MSAT TO f=1223 TT=1800.2 T1=550.15
|
MSAT (TO) f=1223 TT=1800.2 T1=550.15
|
/SOFT-BIGINT-LIN/PB10/oliveras/ j120/ normalized-j12041_4-unsat--soft-0-100-0.wbo
|
MOPT f=1 TT=1082.67 T1=1082.44
|
OPTIMUM f=1 TT=1082.67 T1=1082.44
|
/SOFT-BIGINT-LIN/PB10/oliveras/ j120/ normalized-j1205_1-unsat--soft-0-100-0.wbo
|
MOPT f=3 TT=5.309 T1=5.02
|
OPTIMUM f=3 TT=5.309 T1=5.02
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j6010_2-unsat--soft-0-100-0.wbo
|
MOPT f=9 TT=2.28 T1=2.08
|
OPTIMUM f=9 TT=2.28 T1=2.08
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j6027_4-unsat--soft-0-100-0.wbo
|
MOPT f=6 TT=2.152 T1=1.89
|
OPTIMUM f=6 TT=2.152 T1=1.89
|
Bench name | Best results | Sat4j Resolution 2011-06-08 (complete) |
/SOFT-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j6030_9-unsat--soft-0-100-0.wbo
|
MOPT f=1 TT=3.005 T1=2.78
|
OPTIMUM f=1 TT=3.005 T1=2.78
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j603_2-unsat--soft-0-100-0.wbo
|
MOPT f=4 TT=2.377 T1=2.09
|
OPTIMUM f=4 TT=2.377 T1=2.09
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j6033_2-unsat--soft-0-100-0.wbo
|
MOPT f=20 TT=3.092 T1=2.81
|
OPTIMUM f=20 TT=3.092 T1=2.81
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j605_10-unsat--soft-0-100-0.wbo
|
MSAT TO f=1230 TT=1800.24 T1=1707.38
|
MSAT (TO) f=1230 TT=1800.24 T1=1707.38
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j605_1-unsat--soft-0-100-0.wbo
|
MOPT f=1 TT=94.811 T1=94.29
|
OPTIMUM f=1 TT=94.811 T1=94.29
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j606_1-unsat--soft-0-100-0.wbo
|
MOPT f=13 TT=2.24 T1=1.96
|
OPTIMUM f=13 TT=2.24 T1=1.96
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9010_6-unsat--soft-0-100-0.wbo
|
MOPT f=5 TT=3.73 T1=3.48
|
OPTIMUM f=5 TT=3.73 T1=3.48
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9012_2-unsat--soft-0-100-0.wbo
|
MOPT f=9 TT=2.96 T1=2.7
|
OPTIMUM f=9 TT=2.96 T1=2.7
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9014_1-unsat--soft-0-100-0.wbo
|
MOPT f=2 TT=3.984 T1=3.74
|
OPTIMUM f=2 TT=3.984 T1=3.74
|
/SOFT-BIGINT-LIN/PB10/oliveras/ j90/ normalized-j9015_10-unsat--soft-0-100-0.wbo
|
MOPT f=11 TT=3.523 T1=3.2
|
OPTIMUM f=11 TT=3.523 T1=3.2
|
Bench name | Best results | Sat4j Resolution 2011-06-08 (complete) |
/SOFT-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9028_2-unsat--soft-0-100-0.wbo
|
MOPT f=8 TT=3.298 T1=3.03
|
OPTIMUM f=8 TT=3.298 T1=3.03
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j903_10-unsat--soft-0-100-0.wbo
|
MOPT f=8 TT=2.942 T1=2.46
|
OPTIMUM f=8 TT=2.942 T1=2.46
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9035_1-unsat--soft-0-100-0.wbo
|
MOPT f=8 TT=4.584 T1=4.09
|
OPTIMUM f=8 TT=4.584 T1=4.09
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9039_3-unsat--soft-0-100-0.wbo
|
MOPT f=23 TT=3.95 T1=3.68
|
OPTIMUM f=23 TT=3.95 T1=3.68
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9048_1-unsat--soft-0-100-0.wbo
|
MOPT f=18 TT=3.629 T1=3.39
|
OPTIMUM f=18 TT=3.629 T1=3.39
|
/SOFT-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j907_8-unsat--soft-0-100-0.wbo
|
MOPT f=11 TT=2.744 T1=2.47
|
OPTIMUM f=11 TT=2.744 T1=2.47
|
|
Statistics | Sat4j Resolution 2011-06-08 (complete) |
Number of times the solver is able to give the best known answer | 46 |
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time) | 46 |