root
file
detailed [2750..2774]
prev
next
detailed results (3887 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1234.smt2
(content)
unsat
unknown
0.062s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1233.smt2
(content)
unsat
unknown
0.034s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1232.smt2
(content)
unsat
unknown
0.088s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1231.smt2
(content)
unsat
unknown
0.076s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1230.smt2
(content)
unsat
unknown
0.093s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl123.smt2
(content)
unsat
unknown
0.122s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1229.smt2
(content)
unsat
unknown
0.040s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1228.smt2
(content)
unsat
unknown
0.030s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1227.smt2
(content)
unsat
unknown
0.087s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1226.smt2
(content)
unsat
unknown
0.085s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1225.smt2
(content)
unsat
unknown
0.181s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1224.smt2
(content)
unsat
unknown
0.098s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1223.smt2
(content)
unsat
unknown
0.058s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1222.smt2
(content)
unsat
unknown
0.233s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1221.smt2
(content)
unsat
unknown
0.105s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1220.smt2
(content)
unsat
unknown
0.213s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl122.smt2
(content)
unsat
unknown
0.089s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1219.smt2
(content)
unsat
unknown
0.066s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1218.smt2
(content)
unsat
unknown
0.076s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1217.smt2
(content)
unsat
unknown
0.064s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1216.smt2
(content)
unsat
unknown
0.076s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1215.smt2
(content)
unsat
unknown
0.098s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1214.smt2
(content)
unsat
unknown
0.097s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1213.smt2
(content)
unsat
unknown
0.066s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1212.smt2
(content)
unsat
unknown
0.047s