root
file
detailed [2525..2549]
prev
next
detailed results (3102 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn837.smt2
(content)
sat
sat
0.040s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn836.smt2
(content)
sat
sat
0.034s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn835.smt2
(content)
sat
sat
0.042s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn834.smt2
(content)
sat
sat
0.052s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn831.smt2
(content)
sat
sat
0.045s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn829.smt2
(content)
sat
sat
0.042s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn828.smt2
(content)
sat
sat
0.034s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn827.smt2
(content)
sat
sat
0.040s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn825.smt2
(content)
sat
sat
0.032s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn824.smt2
(content)
sat
sat
0.037s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn823.smt2
(content)
sat
sat
0.037s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn821.smt2
(content)
sat
sat
0.039s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn819.smt2
(content)
sat
sat
0.040s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn818.smt2
(content)
sat
sat
0.087s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn816.smt2
(content)
sat
sat
0.056s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn815.smt2
(content)
sat
sat
0.038s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn814.smt2
(content)
sat
sat
0.059s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn813.smt2
(content)
sat
sat
0.035s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn812.smt2
(content)
sat
sat
0.047s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn809.smt2
(content)
sat
sat
0.041s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn807.smt2
(content)
sat
sat
0.036s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn806.smt2
(content)
sat
sat
0.043s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn805.smt2
(content)
sat
sat
0.046s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn803.smt2
(content)
sat
sat
0.059s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn800.smt2
(content)
sat
sat
0.028s