root
file
detailed [2175..2199]
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_brn317.smt2
(content)
unsat
unknown
0.070s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn316.smt2
(content)
unsat
unknown
0.496s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn315.smt2
(content)
unsat
unknown
0.135s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn314.smt2
(content)
unsat
unknown
0.099s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn313.smt2
(content)
unsat
unknown
0.107s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn309.smt2
(content)
unsat
unknown
0.172s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn307.smt2
(content)
unsat
unknown
0.117s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn305.smt2
(content)
unsat
unknown
0.405s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn292.smt2
(content)
unsat
unknown
0.063s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn290.smt2
(content)
unsat
unknown
0.147s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn287.smt2
(content)
unsat
unknown
0.056s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn285.smt2
(content)
unsat
unknown
0.030s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn282.smt2
(content)
unsat
unknown
0.085s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn281.smt2
(content)
unsat
unknown
0.126s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn280.smt2
(content)
unsat
unknown
0.049s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn269.smt2
(content)
unsat
unknown
0.031s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn266.smt2
(content)
unsat
unknown
0.088s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn258.smt2
(content)
unsat
unknown
0.096s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn257.smt2
(content)
unsat
unknown
0.210s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn252.smt2
(content)
unsat
unknown
0.064s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn246.smt2
(content)
unsat
unknown
0.073s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn245.smt2
(content)
unsat
unknown
0.050s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn240.smt2
(content)
unsat
unknown
0.038s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn239.smt2
(content)
unsat
unknown
0.074s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn237.smt2
(content)
unsat
unknown
0.150s