QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Instances of family Model_instances solved by
iprover-QBF
QBFEVAL'16 - Random QBFs Track.
Instance
Result
Time
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp
FAIL
253.24
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp
FAIL
267.85
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp
FAIL
275.45
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp
FAIL
275.94
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp
FAIL
279.65
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp
FAIL
284.75
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp
FAIL
286.44
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp
FAIL
289.26
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp
FAIL
290.05
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp
FAIL
293.94
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp
FAIL
296.36
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp
FAIL
300.74
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp
FAIL
300.75
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp
FAIL
301.24
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp
FAIL
302.35
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp
FAIL
302.5
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp
FAIL
303.66
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp
FAIL
305.46
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp
FAIL
305.55
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp
FAIL
306.85
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp
FAIL
309.84
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp
FAIL
310.06
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp
FAIL
311.04
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp
FAIL
313.15
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp
FAIL
315.44
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp
FAIL
317.24
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp
FAIL
318.55
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp
FAIL
321.84
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp
FAIL
322.25
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp
FAIL
322.36
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
FAIL
325.76
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp
FAIL
330.06
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp
FAIL
330.35
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp
FAIL
332.15
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp
FAIL
342.05
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp
FAIL
347.66
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp
FAIL
356.34
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp
FAIL
357.74
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp
FAIL
357.85
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp
FAIL
359.05
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp
FAIL
360.67
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp
FAIL
360.74
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp
FAIL
372.34
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp
FAIL
372.44
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp
FAIL
373.94
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp
FAIL
374.25
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp
FAIL
376.36
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp
FAIL
379.95
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp
FAIL
384.55
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
FAIL
392.34
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
FAIL
400.75
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp
FAIL
414.65
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp
FAIL
416.84
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp
FAIL
431.05
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp
FAIL
431.94
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp
FAIL
436.76
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp
FAIL
483.15
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp
FAIL
576.55
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
FAIL
581.84
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp
FAIL
599.12
Contact
|
Organization
|
Links
|
Citing QBFLIB