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 tipfixpoint solved by
Nenofex
QBFEVAL'08
Instance
Result
Time
texas.parsesys^4.E-f2
UNSAT
0.02
texas.parsesys^4.E-f3
UNSAT
0.04
texas.ifetch1^4.E-f2
UNSAT
0.05
texas.parsesys^4.E-f4
UNSAT
0.06
texas.ifetch1^4.E-f3
UNSAT
0.08
nusmv.reactor^3.C-f4
UNSAT
0.12
texas.ifetch1^4.E-f4
UNSAT
0.13
ken.flash^10.C-f2
UNSAT
0.2
ken.flash^10.C-f3
UNSAT
0.31
ken.flash^10.C-f4
UNSAT
0.44
vis.emodel.E-f4
UNSAT
1.2
vis.emodel.E-f3
UNSAT
1.54
vis.emodel.E-f2
UNSAT
1.57
vis.elevator^1.E-f2
UNSAT
2.52
vis.elevator^1.E-f4
UNSAT
5.62
texas.ifetch1^1.E-f2
UNSAT
5.99
vis.prodcell^21.E-f2
UNSAT
6.35
texas.parsesys^2.E-f2
UNSAT
13.61
vis.prodcell^21.E-f3
UNSAT
14.83
vis.elevator^1.E-f3
UNSAT
22.52
vis.prodcell^21.E-f4
UNSAT
22.8
texas.parsesys^3.E-f2
SAT
27.82
vis.eisenberg.E-f2
SAT
54.22
nusmv.syncarb5^2.B-f2
SAT
74.95
texas.parsesys^1.E-f2
SAT
114.09
eijk.S382.S-f3
FAIL
256.12
eijk.S444.S-f4
FAIL
280.23
eijk.S444.S-f3
FAIL
313.05
eijk.S382.S-f4
FAIL
318.66
vis.bakery.E-f2
SAT
318.87
nusmv.brp.B-f2
FAIL
340.03
eijk.S953.S-f4
FAIL
346.04
eijk.S349.S-f2
FAIL
353.39
eijk.S510.S-f2
FAIL
361.06
eijk.S208c.S-f2
FAIL
364.48
texas.PI_main^15.E-f2
FAIL
364.84
eijk.S349.S-f4
FAIL
376.18
eijk.S208c.S-f4
FAIL
378.34
eijk.S526.S-f4
FAIL
385.18
eijk.S298.S-f2
FAIL
391.72
texas.PI_main^11.E-f3
FAIL
396.21
eijk.S344.S-f2
FAIL
404.97
vis.4-arbit^1.E-f2
FAIL
409.83
texas.ifetch1^1.E-f3
FAIL
416.51
texas.PI_main^16.E-f3
FAIL
417.22
vis.prodcell^15.E-f4
FAIL
418.28
eijk.S1196.S-f4
FAIL
421.45
eijk.S510.S-f3
FAIL
422.57
eijk.S526.S-f2
FAIL
423
eijk.S344.S-f4
FAIL
428.11
vis.prodcell^12.E-f4
FAIL
435.55
texas.PI_main^01.E-f2
FAIL
439.61
texas.PI_main^03.E-f3
FAIL
442.66
eijk.S444.S-f2
FAIL
445.61
eijk.S298.S-f4
FAIL
448.04
vis.prodcell^16.E-f4
FAIL
448.72
ken.flash^07.C-f2
FAIL
451.22
vis.prodcell^08.E-f4
FAIL
456.43
vis.prodcell^04.E-f4
FAIL
456.68
eijk.S298.S-f3
FAIL
456.87
texas.PI_main^12.E-f2
FAIL
458.07
eijk.S382.S-f2
FAIL
458.54
vis.prodcell^03.E-f4
FAIL
464.07
vis.prodcell^11.E-f4
FAIL
464.84
vis.coherence^2.E-f4
FAIL
468.92
texas.PI_main^10.E-f2
FAIL
474.9
texas.two_proc^6.E-f2
FAIL
476.17
vis.prodcell^23.E-f4
FAIL
478.68
texas.two_proc^5.E-f2
FAIL
485.19
vis.prodcell^07.E-f4
FAIL
487.25
texas.two_proc^6.E-f4
FAIL
489.31
texas.two_proc^5.E-f4
FAIL
491.09
vis.prodcell^24.E-f4
FAIL
491.18
texas.PI_main^13.E-f3
FAIL
491.88
vis.prodcell^09.E-f4
FAIL
491.89
texas.PI_main^12.E-f3
FAIL
492.58
cmu.dme2.B-f2
FAIL
494.89
vis.prodcell^14.E-f4
FAIL
496.7
texas.PI_main^08.E-f2
FAIL
498.7
vis.prodcell^06.E-f4
FAIL
501.04
texas.PI_main^14.E-f3
FAIL
503.49
vis.prodcell^10.E-f4
FAIL
505.75
vis.prodcell^05.E-f4
FAIL
507.47
ken.flash^01.C-f2
FAIL
508.64
nusmv.syncarb10^2.B-f3
FAIL
510.71
ken.flash^08.C-f2
FAIL
511.63
ken.flash^12.C-f3
FAIL
513.45
texas.PI_main^10.E-f4
FAIL
513.99
vis.prodcell^17.E-f4
FAIL
514.88
vis.prodcell^01.E-f4
FAIL
515.27
ken.flash^03.C-f2
FAIL
521.23
texas.ifetch1^2.E-f3
FAIL
522.24
vis.prodcell^20.E-f4
FAIL
522.43
vis.prodcell^02.E-f4
FAIL
522.46
vis.4-arbit^1.E-f4
FAIL
523.86
texas.PI_main^05.E-f2
FAIL
524.1
vis.eisenberg.E-f4
FAIL
524.15
vis.prodcell^19.E-f4
FAIL
525.47
vis.elevator^2.E-f4
FAIL
527.84
vis.prodcell^22.E-f4
FAIL
528.5
nusmv.brp.B-f3
FAIL
530.75
vis.prodcell^18.E-f4
FAIL
531.17
vis.prodcell^13.E-f4
FAIL
541.01
texas.two_proc^2.E-f3
FAIL
542.38
eijk.S1238.S-f4
FAIL
543.39
texas.two_proc^3.E-f3
FAIL
546.25
nusmv.queue.B-f2
FAIL
560.28
eijk.S526.S-f3
FAIL
565.5
vis.prodcell^13.E-f3
FAIL
570.05
texas.PI_main^15.E-f4
FAIL
570.07
texas.PI_main^11.E-f4
FAIL
571.01
eijk.S386.S-f2
FAIL
574.14
eijk.S641.S-f3
FAIL
574.66
texas.PI_main^03.E-f4
FAIL
575.91
ken.flash^05.C-f2
FAIL
576.66
texas.ifetch1^3.E-f3
FAIL
577.03
texas.PI_main^01.E-f4
FAIL
577.38
ken.flash^06.C-f2
FAIL
577.82
vis.prodcell^14.E-f2
FAIL
580.1
texas.PI_main^02.E-f3
FAIL
582.7
vis.prodcell^23.E-f3
FAIL
582.76
ken.flash^02.C-f3
FAIL
583.42
texas.PI_main^05.E-f4
FAIL
584.2
nusmv.syncarb10^2.B-f2
FAIL
584.46
eijk.S713.S-f2
FAIL
586.51
eijk.S420.S-f2
FAIL
587.81
texas.ifetch1^8.E-f2
FAIL
591.07
vis.prodcell^05.E-f2
FAIL
593.41
cmu.dme1.B-f2
FAIL
593.42
cmu.dme1.B-f3
FAIL
594.41
texas.two_proc^1.E-f2
FAIL
597.37
eijk.S349.S-f3
FAIL
597.56
eijk.S641.S-f2
FAIL
599.61
nusmv.tcas-t^1.B-f2
FAIL
600
cmu.dme2.B-f3
FAIL
600
nusmv.tcas-t^3.B-f4
FAIL
600
eijk.bs1512.S-f2
FAIL
600
nusmv.tcas-t^6.B-f3
FAIL
600
eijk.bs3330.S-f4
FAIL
600
texas.ifetch1^3.E-f2
FAIL
600
eijk.bs6669.S-f3
FAIL
600
texas.ifetch1^5.E-f4
FAIL
600
eijk.S1423.S-f2
FAIL
600
texas.ifetch1^9.E-f3
FAIL
600
eijk.S208o.S-f4
FAIL
600
eijk.S344.S-f3
FAIL
600
texas.PI_main^05.E-f3
FAIL
600
texas.PI_main^11.E-f2
FAIL
600
eijk.S5378.S-f3
FAIL
600
texas.PI_main^13.E-f4
FAIL
600
eijk.S820.S-f2
FAIL
600
eijk.S838.S-f4
FAIL
600
texas.two_proc^3.E-f2
FAIL
600
irst.dme5.B-f3
FAIL
600
ken.flash^02.C-f2
FAIL
600
vis.4-arbit^2.E-f3
FAIL
600
ken.flash^04.C-f4
FAIL
600
vis.coherence^1.E-f2
FAIL
600
ken.flash^07.C-f3
FAIL
600
vis.coherence^3.E-f4
FAIL
600
ken.flash^12.C-f4
FAIL
600
nusmv.guidance^1.C-f2
FAIL
600
vis.prodcell^05.E-f3
FAIL
600
nusmv.guidance^3.C-f4
FAIL
600
vis.prodcell^08.E-f2
FAIL
600
nusmv.guidance^6.C-f3
FAIL
600
vis.prodcell^11.E-f2
FAIL
600
nusmv.guidance^9.C-f2
FAIL
600
nusmv.reactor^2.C-f4
FAIL
600
vis.prodcell^16.E-f3
FAIL
600
nusmv.reactor^5.C-f3
FAIL
600
vis.prodcell^19.E-f2
FAIL
600
nusmv.tcas^1.B-f4
FAIL
600
vis.prodcell^24.E-f3
FAIL
600
nusmv.tcas^4.B-f3
FAIL
600
nusmv.tcas-t^1.B-f3
FAIL
600
cmu.dme2.B-f4
FAIL
600
nusmv.tcas-t^4.B-f2
FAIL
600
eijk.bs1512.S-f3
FAIL
600
nusmv.tcas-t^6.B-f4
FAIL
600
eijk.bs3384.S-f2
FAIL
600
eijk.bs6669.S-f4
FAIL
600
texas.ifetch1^7.E-f2
FAIL
600
eijk.S1423.S-f3
FAIL
600
texas.ifetch1^9.E-f4
FAIL
600
eijk.S208.S-f2
FAIL
600
texas.parsesys^3.E-f3
FAIL
600
texas.PI_main^02.E-f2
FAIL
600
eijk.S386.S-f3
FAIL
600
eijk.S5378.S-f4
FAIL
600
texas.PI_main^14.E-f2
FAIL
600
eijk.S820.S-f3
FAIL
600
texas.PI_main^16.E-f4
FAIL
600
eijk.S953.S-f2
FAIL
600
irst.dme5.B-f4
FAIL
600
vis.4-arbit^2.E-f4
FAIL
600
vis.coherence^1.E-f3
FAIL
600
ken.flash^07.C-f4
FAIL
600
vis.coherence^5.E-f2
FAIL
600
ken.oop^1.C-f2
FAIL
600
nusmv.brp.B-f4
FAIL
600
vis.prodcell^03.E-f2
FAIL
600
nusmv.guidance^1.C-f3
FAIL
600
nusmv.guidance^4.C-f2
FAIL
600
vis.prodcell^08.E-f3
FAIL
600
nusmv.guidance^6.C-f4
FAIL
600
vis.prodcell^11.E-f3
FAIL
600
nusmv.guidance^9.C-f3
FAIL
600
nusmv.reactor^3.C-f2
FAIL
600
nusmv.reactor^5.C-f4
FAIL
600
vis.prodcell^19.E-f3
FAIL
600
vis.prodcell^22.E-f2
FAIL
600
nusmv.tcas^2.B-f2
FAIL
600
nusmv.tcas^4.B-f4
FAIL
600
nusmv.tcas-t^1.B-f4
FAIL
600
cmu.gigamax.B-f2
FAIL
600
nusmv.tcas-t^4.B-f3
FAIL
600
eijk.bs1512.S-f4
FAIL
600
eijk.bs3384.S-f3
FAIL
600
texas.ifetch1^3.E-f4
FAIL
600
eijk.S1196.S-f2
FAIL
600
texas.ifetch1^7.E-f3
FAIL
600
eijk.S1423.S-f4
FAIL
600
eijk.S208.S-f3
FAIL
600
texas.parsesys^3.E-f4
FAIL
600
eijk.S386.S-f4
FAIL
600
eijk.S820.S-f4
FAIL
600
eijk.S953.S-f3
FAIL
600
texas.two_proc^3.E-f4
FAIL
600
irst.dme6.B-f2
FAIL
600
texas.two_proc^6.E-f3
FAIL
600
ken.flash^02.C-f4
FAIL
600
vis.arbiter.E-f2
FAIL
600
ken.flash^05.C-f3
FAIL
600
vis.coherence^1.E-f4
FAIL
600
vis.coherence^5.E-f3
FAIL
600
vis.elevator^2.E-f2
FAIL
600
ken.oop^1.C-f3
FAIL
600
nusmv.dme1-16.B-f2
FAIL
600
vis.prodcell^03.E-f3
FAIL
600
nusmv.guidance^1.C-f4
FAIL
600
vis.prodcell^06.E-f2
FAIL
600
nusmv.guidance^4.C-f3
FAIL
600
nusmv.guidance^7.C-f2
FAIL
600
nusmv.guidance^9.C-f4
FAIL
600
vis.prodcell^14.E-f3
FAIL
600
nusmv.reactor^3.C-f3
FAIL
600
vis.prodcell^17.E-f2
FAIL
600
nusmv.reactor^6.C-f2
FAIL
600
nusmv.syncarb10^2.B-f4
FAIL
600
vis.prodcell^22.E-f3
FAIL
600
nusmv.tcas^2.B-f3
FAIL
600
nusmv.tcas^5.B-f2
FAIL
600
nusmv.tcas-t^2.B-f2
FAIL
600
cmu.gigamax.B-f3
FAIL
600
nusmv.tcas-t^4.B-f4
FAIL
600
eijk.bs3271.S-f2
FAIL
600
eijk.bs3384.S-f4
FAIL
600
eijk.S1196.S-f3
FAIL
600
texas.ifetch1^7.E-f4
FAIL
600
texas.parsesys^1.E-f3
FAIL
600
eijk.S208.S-f4
FAIL
600
texas.PI_main^02.E-f4
FAIL
600
texas.PI_main^08.E-f3
FAIL
600
eijk.S510.S-f4
FAIL
600
texas.PI_main^14.E-f4
FAIL
600
eijk.S832.S-f2
FAIL
600
texas.two_proc^1.E-f3
FAIL
600
texas.two_proc^4.E-f2
FAIL
600
irst.dme6.B-f3
FAIL
600
vis.arbiter.E-f3
FAIL
600
ken.flash^05.C-f4
FAIL
600
vis.coherence^2.E-f2
FAIL
600
ken.flash^08.C-f3
FAIL
600
vis.coherence^5.E-f4
FAIL
600
ken.flash^11.C-f2
FAIL
600
vis.elevator^2.E-f3
FAIL
600
ken.oop^1.C-f4
FAIL
600
vis.prodcell^01.E-f2
FAIL
600
nusmv.dme1-16.B-f3
FAIL
600
nusmv.guidance^2.C-f2
FAIL
600
vis.prodcell^06.E-f3
FAIL
600
nusmv.guidance^4.C-f4
FAIL
600
vis.prodcell^09.E-f2
FAIL
600
nusmv.guidance^7.C-f3
FAIL
600
vis.prodcell^12.E-f2
FAIL
600
vis.prodcell^17.E-f3
FAIL
600
nusmv.reactor^6.C-f3
FAIL
600
vis.prodcell^20.E-f2
FAIL
600
nusmv.tcas^2.B-f4
FAIL
600
nusmv.tcas^5.B-f3
FAIL
600
nusmv.tcas-t^2.B-f3
FAIL
600
cmu.gigamax.B-f4
FAIL
600
nusmv.tcas-t^5.B-f2
FAIL
600
eijk.bs3271.S-f3
FAIL
600
texas.ifetch1^1.E-f4
FAIL
600
eijk.bs4863.S-f2
FAIL
600
eijk.S208c.S-f3
FAIL
600
texas.parsesys^1.E-f4
FAIL
600
texas.PI_main^03.E-f2
FAIL
600
eijk.S420.S-f3
FAIL
600
texas.PI_main^08.E-f4
FAIL
600
eijk.S641.S-f4
FAIL
600
eijk.S832.S-f3
FAIL
600
texas.two_proc^1.E-f4
FAIL
600
irst.dme4.B-f2
FAIL
600
texas.two_proc^4.E-f3
FAIL
600
irst.dme6.B-f4
FAIL
600
ken.flash^03.C-f3
FAIL
600
vis.arbiter.E-f4
FAIL
600
vis.coherence^2.E-f3
FAIL
600
ken.flash^08.C-f4
FAIL
600
ken.flash^11.C-f3
FAIL
600
ken.oop^2.C-f2
FAIL
600
vis.prodcell^01.E-f3
FAIL
600
nusmv.dme1-16.B-f4
FAIL
600
vis.prodcell^04.E-f2
FAIL
600
nusmv.guidance^2.C-f3
FAIL
600
nusmv.guidance^5.C-f2
FAIL
600
vis.prodcell^09.E-f3
FAIL
600
nusmv.guidance^7.C-f4
FAIL
600
vis.prodcell^12.E-f3
FAIL
600
nusmv.queue.B-f3
FAIL
600
vis.prodcell^15.E-f2
FAIL
600
nusmv.reactor^4.C-f2
FAIL
600
nusmv.reactor^6.C-f4
FAIL
600
vis.prodcell^20.E-f3
FAIL
600
nusmv.syncarb5^2.B-f3
FAIL
600
vis.prodcell^23.E-f2
FAIL
600
nusmv.tcas^3.B-f2
FAIL
600
nusmv.tcas^5.B-f4
FAIL
600
nusmv.tcas-t^2.B-f4
FAIL
600
cmu.periodic.N-f2
FAIL
600
nusmv.tcas-t^5.B-f3
FAIL
600
eijk.bs3271.S-f4
FAIL
600
texas.ifetch1^2.E-f2
FAIL
600
eijk.bs4863.S-f3
FAIL
600
eijk.S1238.S-f2
FAIL
600
texas.ifetch1^8.E-f3
FAIL
600
eijk.S420.S-f4
FAIL
600
texas.PI_main^12.E-f4
FAIL
600
texas.PI_main^15.E-f3
FAIL
600
eijk.S832.S-f4
FAIL
600
texas.two_proc^2.E-f2
FAIL
600
irst.dme4.B-f3
FAIL
600
texas.two_proc^4.E-f4
FAIL
600
vis.4-arbit^1.E-f3
FAIL
600
ken.flash^03.C-f4
FAIL
600
ken.flash^06.C-f3
FAIL
600
ken.flash^09.C-f2
FAIL
600
vis.eisenberg.E-f3
FAIL
600
ken.flash^11.C-f4
FAIL
600
vis.elevator^3.E-f2
FAIL
600
ken.oop^2.C-f3
FAIL
600
nusmv.dme2-16.B-f2
FAIL
600
vis.prodcell^04.E-f3
FAIL
600
nusmv.guidance^2.C-f4
FAIL
600
vis.prodcell^07.E-f2
FAIL
600
nusmv.guidance^5.C-f3
FAIL
600
nusmv.guidance^8.C-f2
FAIL
600
nusmv.queue.B-f4
FAIL
600
vis.prodcell^15.E-f3
FAIL
600
nusmv.reactor^4.C-f3
FAIL
600
vis.prodcell^18.E-f2
FAIL
600
nusmv.reactor^7.C-f2
FAIL
600
nusmv.syncarb5^2.B-f4
FAIL
600
nusmv.tcas^3.B-f3
FAIL
600
nusmv.tcas^6.B-f2
FAIL
600
cmu.dme1.B-f4
FAIL
600
nusmv.tcas-t^3.B-f2
FAIL
600
cmu.periodic.N-f3
FAIL
600
nusmv.tcas-t^5.B-f4
FAIL
600
eijk.bs3330.S-f2
FAIL
600
eijk.bs4863.S-f4
FAIL
600
texas.ifetch1^5.E-f2
FAIL
600
eijk.S1238.S-f3
FAIL
600
texas.ifetch1^8.E-f4
FAIL
600
eijk.S208o.S-f2
FAIL
600
texas.parsesys^2.E-f3
FAIL
600
texas.PI_main^10.E-f3
FAIL
600
texas.PI_main^13.E-f2
FAIL
600
eijk.S713.S-f3
FAIL
600
eijk.S838.S-f2
FAIL
600
irst.dme4.B-f4
FAIL
600
ken.flash^01.C-f3
FAIL
600
ken.flash^04.C-f2
FAIL
600
vis.bakery.E-f3
FAIL
600
ken.flash^06.C-f4
FAIL
600
vis.coherence^3.E-f2
FAIL
600
ken.flash^09.C-f3
FAIL
600
ken.flash^12.C-f2
FAIL
600
vis.elevator^3.E-f3
FAIL
600
ken.oop^2.C-f4
FAIL
600
vis.prodcell^02.E-f2
FAIL
600
nusmv.dme2-16.B-f3
FAIL
600
nusmv.guidance^3.C-f2
FAIL
600
vis.prodcell^07.E-f3
FAIL
600
nusmv.guidance^5.C-f4
FAIL
600
vis.prodcell^10.E-f3
FAIL
600
nusmv.guidance^8.C-f3
FAIL
600
vis.prodcell^13.E-f2
FAIL
600
nusmv.reactor^2.C-f2
FAIL
600
nusmv.reactor^4.C-f4
FAIL
600
vis.prodcell^18.E-f3
FAIL
600
nusmv.reactor^7.C-f3
FAIL
600
nusmv.tcas^1.B-f2
FAIL
600
nusmv.tcas^3.B-f4
FAIL
600
nusmv.tcas^6.B-f3
FAIL
600
nusmv.tcas^6.B-f4
FAIL
600
nusmv.tcas-t^3.B-f3
FAIL
600
cmu.periodic.N-f4
FAIL
600
nusmv.tcas-t^6.B-f2
FAIL
600
eijk.bs3330.S-f3
FAIL
600
texas.ifetch1^2.E-f4
FAIL
600
eijk.bs6669.S-f2
FAIL
600
texas.ifetch1^5.E-f3
FAIL
600
texas.ifetch1^9.E-f2
FAIL
600
eijk.S208o.S-f3
FAIL
600
texas.parsesys^2.E-f4
FAIL
600
texas.PI_main^01.E-f3
FAIL
600
eijk.S5378.S-f2
FAIL
600
eijk.S713.S-f4
FAIL
600
texas.PI_main^16.E-f2
FAIL
600
eijk.S838.S-f3
FAIL
600
texas.two_proc^2.E-f4
FAIL
600
irst.dme5.B-f2
FAIL
600
texas.two_proc^5.E-f3
FAIL
600
ken.flash^01.C-f4
FAIL
600
vis.4-arbit^2.E-f2
FAIL
600
ken.flash^04.C-f3
FAIL
600
vis.bakery.E-f4
FAIL
600
vis.coherence^3.E-f3
FAIL
600
ken.flash^09.C-f4
FAIL
600
vis.elevator^3.E-f4
FAIL
600
vis.prodcell^02.E-f3
FAIL
600
nusmv.dme2-16.B-f4
FAIL
600
nusmv.guidance^3.C-f3
FAIL
600
nusmv.guidance^6.C-f2
FAIL
600
nusmv.guidance^8.C-f4
FAIL
600
nusmv.reactor^2.C-f3
FAIL
600
vis.prodcell^16.E-f2
FAIL
600
nusmv.reactor^5.C-f2
FAIL
600
nusmv.reactor^7.C-f4
FAIL
600
nusmv.tcas^1.B-f3
FAIL
600
vis.prodcell^24.E-f2
FAIL
600
nusmv.tcas^4.B-f2
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB