Discrepancies tables for tipfixpoint
QBFEVAL'07


Instance # Sat # Unsat Minority Solver
ken.flash^03.C-f3 1 11 preQuel_sKizzo-0.10
ken.flash^03.C-f4 1 11 preQuel_sKizzo-0.10
ken.flash^06.C-f2 1 13 preQuel_sKizzo-0.10
ken.flash^08.C-f3 1 9 preQuel_sKizzo-0.10
ken.flash^08.C-f4 1 9 preQuel_sKizzo-0.10
ken.flash^09.C-f2 1 11 preQuel_sKizzo-0.10
ken.flash^09.C-f4 1 9 preQuel_sKizzo-0.10
ken.flash^10.C-f2 1 13 preQuel_sKizzo-0.10
ken.flash^10.C-f4 1 13 preQuel_sKizzo-0.10
nusmv.reactor^3.C-f4 1 14 preQuel_sKizzo-0.10
nusmv.reactor^5.C-f4 1 8 preQuel_sKizzo-0.10
texas.ifetch1^1.E-f3 1 10 preQuel_sKizzo-0.10
texas.ifetch1^1.E-f4 1 11 preQuel_sKizzo-0.10
texas.ifetch1^4.E-f4 1 15 preQuel_sKizzo-0.10
texas.parsesys^4.E-f3 1 15 preQuel_sKizzo-0.10
texas.parsesys^4.E-f4 1 15 preQuel_sKizzo-0.10
texas.PI_main^14.E-f3 1 10 preQuel_sKizzo-0.10
vis.elevator^1.E-f3 1 13 preQuel_sKizzo-0.10
vis.elevator^1.E-f4 1 10 preQuel_sKizzo-0.10
vis.emodel.E-f4 1 13 preQuel_sKizzo-0.10
vis.prodcell^02.E-f4 1 8 preQuel_sKizzo-0.10
vis.prodcell^03.E-f3 1 8 preQuel_sKizzo-0.10
vis.prodcell^04.E-f3 1 8 preQuel_sKizzo-0.10
vis.prodcell^04.E-f4 1 8 preQuel_sKizzo-0.10
vis.prodcell^08.E-f3 1 8 preQuel_sKizzo-0.10
vis.prodcell^08.E-f4 1 8 preQuel_sKizzo-0.10
vis.prodcell^09.E-f4 1 8 preQuel_sKizzo-0.10
vis.prodcell^20.E-f4 1 8 preQuel_sKizzo-0.10
vis.prodcell^21.E-f2 1 11 preQuel_sKizzo-0.10
vis.prodcell^21.E-f3 1 8 preQuel_sKizzo-0.10
vis.prodcell^21.E-f4 1 8 preQuel_sKizzo-0.10
Download table[csv, latex]