Instances solved by <a href='solver_detail.php?solver=290'>CADET_2017</a> <br> QBFEVAL'17

Instances solved by CADET_2017
QBFEVAL'17 - Prenex 2QBF Track

Instance	Result	Time
small-bug1-fixpoint-9	SAT	0
small-bug1-fixpoint-4	SAT	0
small-bug1-fixpoint-6	SAT	0
small-bug1-fixpoint-3	SAT	0
small-bug1-fixpoint-8	SAT	0
small-dyn-partition-fixpoint-3	UNSAT	0
small-dyn-partition-fixpoint-2	UNSAT	0
small-bug1-fixpoint-10	SAT	0
small-dyn-partition-fixpoint-1	UNSAT	0
small-bug1-fixpoint-5	SAT	0
small-dyn-partition-fixpoint-6	UNSAT	0.01
falsequ_query42_1344n	UNSAT	0.01
rankfunc38_signed_64	SAT	0.01
stmt5_731_730	SAT	0.01
small-dyn-partition-fixpoint-7	UNSAT	0.01
trueque_query42_1344n	UNSAT	0.01
rankfunc38_unsigned_64	SAT	0.01
small-dyn-partition-fixpoint-4	UNSAT	0.01
small-dyn-partition-fixpoint-5	UNSAT	0.01
small-dyn-partition-fixpoint-9	UNSAT	0.02
stmt25_597_598	SAT	0.02
floor128	SAT	0.02
rankfunc55_unsigned_32	SAT	0.02
itc-b13-fixpoint-1	UNSAT	0.02
rankfunc48_unsigned_16	SAT	0.02
stmt41_262_275	SAT	0.03
small-dyn-partition-fixpoint-10	UNSAT	0.03
sdlx-fixpoint-1	UNSAT	0.03
rankfunc60_unsigned_32	SAT	0.03
small-pipeline-fixpoint-1	UNSAT	0.03
add20y.sat	SAT	0.03
rankfunc56_unsigned_64	SAT	0.04
rankfunc55_signed_64	SAT	0.04
rankfunc56_signed_64	SAT	0.04
small-synabs-fixpoint-10	UNSAT	0.04
usb-phy-fixpoint-1	UNSAT	0.04
small-swap2-fixpoint-5	SAT	0.04
query24_query42_1344n	UNSAT	0.05
small-swap2-fixpoint-6	SAT	0.05
rankfunc55_unsigned_64	SAT	0.06
rankfunc34_unsigned_64	SAT	0.06
rankfunc34_signed_64	SAT	0.06
stmt27_93_98	SAT	0.06
stmt19_66_214	UNSAT	0.06
rankfunc2_unsigned_64	SAT	0.06
stmt27_16_224	UNSAT	0.06
itc-b13-fixpoint-2	UNSAT	0.06
small-pipeline-fixpoint-2	UNSAT	0.06
cache-coherence-3-fixpoint-1	UNSAT	0.06
small-seq-fixpoint-1	UNSAT	0.06
small-swap2-fixpoint-7	SAT	0.06
rankfunc49_signed_64	SAT	0.07
sdlx-fixpoint-2	UNSAT	0.07
stmt46_111_238	UNSAT	0.07
stmt21_84_215	UNSAT	0.07
rankfunc49_unsigned_64	SAT	0.07
small-swap2-fixpoint-8	SAT	0.07
stmt19_133_217	UNSAT	0.07
ethernet-fixpoint-1	UNSAT	0.08
small-swap2-fixpoint-9	SAT	0.08
itc-b13-fixpoint-3	SAT	0.08
cache-coherence-2-fixpoint-2	UNSAT	0.08
small-pipeline-fixpoint-3	UNSAT	0.09
rankfunc61_signed_64	SAT	0.09
stmt21_178_258	UNSAT	0.09
rankfunc61_unsigned_64	SAT	0.09
rankfunc52_signed_64	SAT	0.09
small-swap2-fixpoint-10	SAT	0.09
rankfunc51_signed_64	SAT	0.1
rankfunc52_unsigned_64	SAT	0.1
rankfunc53_unsigned_64	SAT	0.1
rankfunc51_unsigned_64	SAT	0.1
stmt31_22_328	UNSAT	0.1
rankfunc53_signed_64	SAT	0.1
rankfunc57_unsigned_64	SAT	0.1
rankfunc58_signed_64	SAT	0.1
rankfunc58_unsigned_64	SAT	0.11
stmt21_71_354	UNSAT	0.11
rankfunc35_signed_64	SAT	0.11
itc-b13-fixpoint-4	SAT	0.11
rankfunc35_unsigned_64	SAT	0.11
stmt21_70_369	UNSAT	0.11
query15_query42_1344n	UNSAT	0.11
cache-coherence-3-fixpoint-2	UNSAT	0.12
stmt44_40_387	UNSAT	0.12
stmt21_84_364	UNSAT	0.12
query23_query42_1344n	UNSAT	0.12
small-seq-fixpoint-2	UNSAT	0.12
stmt21_143_403	UNSAT	0.12
stmt19_180_352	UNSAT	0.12
stmt21_71_413	UNSAT	0.12
stmt19_3_401	UNSAT	0.12
stmt22_6_414	UNSAT	0.12
rankfunc48_signed_64	SAT	0.13
rankfunc48_unsigned_64	SAT	0.13
rankfunc54_unsigned_64	SAT	0.13
stmt19_352_359	UNSAT	0.13
stmt19_90_408	UNSAT	0.13
rankfunc54_signed_64	SAT	0.13
stmt19_137_408	UNSAT	0.13
query30_query42_1344n	UNSAT	0.13
rankfunc59_signed_64	SAT	0.14
rankfunc59_unsigned_64	SAT	0.14
GuidanceService	UNSAT	0.15
GuidanceService2	UNSAT	0.15
usb-phy-fixpoint-4	UNSAT	0.16
ethernet-fixpoint-2	UNSAT	0.16
itc-b13-fixpoint-6	SAT	0.17
cache-coherence-2-fixpoint-5	UNSAT	0.19
stmt31_276_328	UNSAT	0.19
stmt41_286_385	UNSAT	0.19
stmt27_149_224	UNSAT	0.19
kenflashp04	SAT	0.2
usb-phy-fixpoint-5	UNSAT	0.2
itc-b13-fixpoint-7	SAT	0.2
rankfunc31_signed_64	SAT	0.2
rankfunc41_unsigned_64	SAT	0.21
usb-phy-fixpoint-2	UNSAT	0.21
rankfunc41_signed_64	SAT	0.21
rankfunc31_unsigned_64	SAT	0.21
sdlx-fixpoint-4	UNSAT	0.22
stmt22_311_370	UNSAT	0.22
itc-b13-fixpoint-8	SAT	0.23
stmt29_275_376	UNSAT	0.24
ethernet-fixpoint-3	UNSAT	0.24
small-seq-fixpoint-4	UNSAT	0.24
itc-b13-fixpoint-9	SAT	0.26
itc-b13-fixpoint-10	SAT	0.29
stmt47_290_340	UNSAT	0.3
query07_query42_1344n	UNSAT	0.31
ethernet-fixpoint-4	UNSAT	0.34
sdlx-fixpoint-5	UNSAT	0.38
stmt41_336_385	UNSAT	0.38
small-seq-fixpoint-6	UNSAT	0.38
ntrivil_query42_1344n	UNSAT	0.45
exquery_query42_1344n	UNSAT	0.46
stmt46_289_388	UNSAT	0.49
trivial_query42_1344n	UNSAT	0.52
sdlx-fixpoint-6	UNSAT	0.53
stmt53_296_346	UNSAT	0.59
stmt47_340_389	UNSAT	0.61
stmt52_295_394	UNSAT	0.62
small-seq-fixpoint-10	UNSAT	0.66
pi-bus-fixpoint-2	UNSAT	0.79
pdtpmsrotate32	SAT	0.92
stmt50_343_392	UNSAT	1.06
sortnetsort7.AE.stepl.007	UNSAT	1.6
sortnetsort7.AE.stepl.008	UNSAT	1.91
sortnetsort8.AE.stepl.004	SAT	1.92
stmt23_66_67	SAT	2.2
sortnetsort7.AE.stepl.009	UNSAT	2.23
stmt21_181_218	UNSAT	2.29
stmt17_63_70	SAT	2.47
stmt23_66_76	SAT	2.52
stmt28_68_69	SAT	2.57
stmt28_68_73	SAT	2.84
stmt17_63_78	SAT	2.89
stmt17_62_78	SAT	3.06
sdlx-fixpoint-8	SAT	3.21
stmt17_70_78	SAT	3.22
stmt19_65_87	SAT	3.35
stmt19_64_87	SAT	3.35
stmt17_74_78	SAT	3.38
stmt17_70_82	SAT	3.54
stmt28_73_85	SAT	3.73
stmt19_75_83	SAT	3.73
stmt19_64_91	SAT	3.78
mult9.sat	SAT	3.84
stmt23_67_92	SAT	3.87
stmt19_79_83	SAT	3.9
sortnetsort9.AE.stepl.004	SAT	3.94
stmt17_70_86	SAT	3.96
AR-fixpoint-2	UNSAT	3.97
sdlx-fixpoint-7	SAT	4.06
stmt17_74_90	SAT	4.1
stmt19_65_95	SAT	4.14
stmt19_79_87	SAT	4.14
stmt19_71_95	SAT	4.34
stmt19_75_95	SAT	4.46
stmt17_78_90	SAT	4.52
stmt17_82_86	SAT	4.53
stmt19_83_91	SAT	4.59
stmt17_78_94	SAT	4.65
stmt28_73_97	SAT	4.74
stmt23_88_92	SAT	4.88
stmt17_78_98	SAT	4.89
stmt17_82_94	SAT	5.14
stmt23_92_96	SAT	5.34
stmt19_87_95	SAT	5.38
sortnetsort10.AE.stepl.004	SAT	5.64
nxquery_query42_1344n	UNSAT	5.69
stmt28_89_97	SAT	5.83
stmt17_94_98	SAT	6.15
sdlx-fixpoint-9	SAT	6.62
bs128n.sat	SAT	7.24
bs128y.sat	SAT	7.59
query02_query44_1344n	UNSAT	8.97
sdlx-fixpoint-10	SAT	9.09
eijkbs3330	SAT	10.17
sortnetsort8.AE.stepl.009	UNSAT	10.19
AR-fixpoint-4	UNSAT	12.09
sortnetsort9.AE.stepl.011	UNSAT	13.77
query27_query42_1344n	UNSAT	14.06
sortnetsort7.AE.stepl.006	UNSAT	15.18
sortnetsort8.AE.stepl.008	UNSAT	15.7
sortnetsort10.AE.stepl.011	UNSAT	15.78
stmt31_190_227	UNSAT	18.11
ceiling256	SAT	19.1
AR-fixpoint-6	UNSAT	19.69
stmt53_208_245	UNSAT	20.01
sortnetsort7.AE.stepl.005	SAT	21.07
AR-fixpoint-8	UNSAT	31.97
sortnetsort9.AE.stepl.010	UNSAT	33.91
AR-fixpoint-10	UNSAT	38.46
sortnetsort8.AE.stepl.005	SAT	39.64
query08_query42_1344n	UNSAT	46.91
ltl2dba_C2-8_comp4_REAL.sat	SAT	53.76
small-swap1-fixpoint-4	SAT	58.94
sortnetsort9.AE.stepl.005	SAT	69.05
driver_c9y.sat	SAT	77.57
mult_bool_matrix_12_13_11.sat	SAT	88.39
sortnetsort8.AE.stepl.006	UNSAT	89.94
axquery_query42_1344n	UNSAT	119.35
sortnetsort10.AE.stepl.005	SAT	152.07
stmt22_320_370	SAT	173.35
decomposition128	SAT	201.07
stmt19_368_417	SAT	210.51
sortnetsort10.AE.stepl.012	UNSAT	267.62
query03_query42_1344n	UNSAT	288.93
small-swap1-fixpoint-7	SAT	301.17
driver_c9n.sat	SAT	310.94
driver_a10y.sat	SAT	482.85
stmt19_302_352	SAT	511.52
stmt85_300_399	SAT	512.24
small-swap1-fixpoint-6	SAT	556.21
small-swap1-fixpoint-8	SAT	576.43
driver_b8n.sat	SAT	629.83
query02_query42_1344n	UNSAT	633.11
stmt21_354_403	SAT	719.44
mult_bool_matrix_dyn_9_5.sat	SAT	731.92
small-swap1-fixpoint-9	SAT	822.35
bobtuint31neg	FAIL	900
reachqu_query42_1344n	FAIL	900
load_2c_comp_comp7_REAL.sat	FAIL	900
ltl2dba_E6_comp2_REAL.sat	FAIL	900
oski3ub5i_c0to63.sat	FAIL	900
LoginService	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.asp	FAIL	900
query71_query42_1344n	FAIL	900
query64_query42_1344n	FAIL	900
PhaseService	FAIL	900
query60_query42_1344n	FAIL	900
ActivityService	FAIL	900
IterationService	FAIL	900
ltl2dba_Q4_comp4_REAL.sat	FAIL	900
equalization128	FAIL	900
neclaftp2002	FAIL	900
ltl2dba_U1-4_comp4_REAL.sat	FAIL	900
load_full_3_comp5_REAL.sat	FAIL	900
intermediate256	FAIL	900
ConcreteActivityService	FAIL	900
load_4c_comp_comp4_REAL.sat	FAIL	900
query31_query42_1344n	FAIL	900
IssueServiceImpl	FAIL	900
load_3c_comp_comp6_REAL.sat	FAIL	900
NotificationServiceImpl2	FAIL	900
genbuf14b4y.sat	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#1.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#60.asp	FAIL	900
amba2c7n.sat	FAIL	900
amba3b5y.sat	FAIL	900
amba4c7n.sat	FAIL	900
amba5b5n.sat	FAIL	900
cycle_sched_12_2_1.sat	FAIL	900
cycle_sched_2_10_1.sat	FAIL	900
cycle_sched_4_4_2.sat	FAIL	900
cycle_sched_6_6_2.sat	FAIL	900
mult_bool_matrix_18_18_18.sat	FAIL	900
genbuf12b4y.sat	FAIL	900
beemskbn1f1_c0to7.sat	FAIL	900
6s289rb05233_c0to63.sat	FAIL	900
genbuf8b4n.sat	FAIL	900
mult_bool_matrix_dyn_7_7.sat	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#60.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#1.asp	FAIL	900
oski3ub5i_c0to511.sat	FAIL	900
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp	FAIL	900
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp	FAIL	900
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp	FAIL	900
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.asp	FAIL	900
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp	FAIL	900
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.asp	FAIL	900
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.asp	FAIL	900
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.asp	FAIL	900
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#1.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#26.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#60.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#1.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#60.asp	FAIL	900
genbuf7b4n.sat	FAIL	900
query58_query42_1344n	FAIL	900
sortnetsort10.AE.stepl.006	FAIL	900
query10_query06_1344n	FAIL	900
query05_query31_1344n	FAIL	900
query04_query25_1344n	FAIL	900
nxquery_query50_1344n	FAIL	900
nreachq_query54_1344n	FAIL	900
nreachq_query11_1344n	FAIL	900
eequery_query64_1344n	FAIL	900
small-swap1-fixpoint-10	FAIL	900
query10_query34_1344n	FAIL	900
query10_query45_1344n	FAIL	900
query42_query45_1344n	FAIL	900
query36_query25_1344n	FAIL	900
query34_query11_1344n	FAIL	900
query33_query57_1344n	FAIL	900
query33_query51_1344n	FAIL	900
query33_query45_1344n	FAIL	900
query31_query50_1344n	FAIL	900
query31_eequery_1344n	FAIL	900
small-equiv-fixpoint-3	FAIL	900
small-swap1-fixpoint-5	FAIL	900
small-equiv-fixpoint-5	FAIL	900
sortnetsort9.AE.stepl.008	FAIL	900
sortnetsort9.AE.stepl.007	FAIL	900
sortnetsort9.AE.stepl.006	FAIL	900
sortnetsort10.AE.stepl.010	FAIL	900
sortnetsort10.AE.stepl.009	FAIL	900
sortnetsort10.AE.stepl.008	FAIL	900
sortnetsort10.AE.stepl.007	FAIL	900
small-equiv-fixpoint-2	FAIL	900
small-equiv-fixpoint-8	FAIL	900
small-pipeline-fixpoint-8	FAIL	900
small-pipeline-fixpoint-9	FAIL	900
small-equiv-fixpoint-7	FAIL	900
small-pipeline-fixpoint-5	FAIL	900
small-equiv-fixpoint-1	FAIL	900
small-pipeline-fixpoint-10	FAIL	900
small-equiv-fixpoint-4	FAIL	900
small-pipeline-fixpoint-4	FAIL	900
query42_query60_1344n	FAIL	900
query48_exquery_1344n	FAIL	900
query49_ntrivil_1344n	FAIL	900
query36_query42_1344n	FAIL	900
query34_query42_1344n	FAIL	900
query33_query42_1344n	FAIL	900
query26_query42_1344n	FAIL	900
query25_query42_1344n	FAIL	900
query21_query42_1344n	FAIL	900
query11_query42_1344n	FAIL	900
query10_query42_1344n	FAIL	900
query42_query42_1344n	FAIL	900
query44_query42_1344n	FAIL	900
query55_query42_1344n	FAIL	900
query54_query42_1344n	FAIL	900
query52_query42_1344n	FAIL	900
query51_query42_1344n	FAIL	900
query50_query42_1344n	FAIL	900
query49_query42_1344n	FAIL	900
query48_query42_1344n	FAIL	900
query45_query42_1344n	FAIL	900
query09_query42_1344n	FAIL	900
query06_query42_1344n	FAIL	900
query60_query45_1344n	FAIL	900
query60_query44_1344n	FAIL	900
query60_query33_1344n	FAIL	900
query60_query10_1344n	FAIL	900
query54_query58_1344n	FAIL	900
query52_query25_1344n	FAIL	900
query51_query57_1344n	FAIL	900
query50_query06_1344n	FAIL	900
query64_query01_1344n	FAIL	900
query64_query11_1344n	FAIL	900
query05_query42_1344n	FAIL	900
query04_query42_1344n	FAIL	900
query01_query42_1344n	FAIL	900
nreachq_query42_1344n	FAIL	900
eequery_query42_1344n	FAIL	900
query71_query36_1344n	FAIL	900
query71_query34_1344n	FAIL	900
query71_query31_1344n	FAIL	900
query57_query42_1344n	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by CADET_2017
QBFEVAL'17 - Prenex 2QBF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by CADET_2017 QBFEVAL'17 - Prenex 2QBF Track

Instances solved by CADET_2017
QBFEVAL'17 - Prenex 2QBF Track