root
file
detailed [375..399]
prev
next
detailed results (8452 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e7_251.ec.smt2
(content)
fatal
ok
0.156s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e5_1637.ec.smt2
(content)
fatal
ok
0.331s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e4_34.ec.smt2
(content)
fatal
ok
0.148s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e3_495.ec.smt2
(content)
fatal
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1750.ec.smt2
(content)
fatal
ok
0.164s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all.ec.smt2
(content)
fatal
ok
0.155s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_6_e3_1666_e5_1558.ec.smt2
(content)
fatal
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e8_320.ec.smt2
(content)
fatal
ok
0.151s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e7_1062.ec.smt2
(content)
fatal
ok
0.238s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e2_236.ec.smt2
(content)
fatal
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e1_1270.ec.smt2
(content)
fatal
ok
0.229s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329.ec.smt2
(content)
fatal
ok
0.226s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e7_425.ec.smt2
(content)
fatal
ok
0.166s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e7_1444_e7_638.ec.smt2
(content)
fatal
ok
0.154s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e3_518_e8_922.ec.smt2
(content)
fatal
ok
0.156s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e3_1041.ec.smt2
(content)
fatal
ok
0.230s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1416_e7_193.ec.smt2
(content)
fatal
ok
0.156s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1416_e3_1191.ec.smt2
(content)
fatal
ok
0.163s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1416_e2_753.ec.smt2
(content)
fatal
ok
0.167s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1416_e1_1675.ec.smt2
(content)
fatal
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1303.ec.smt2
(content)
fatal
ok
0.165s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3.ec.smt2
(content)
fatal
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e8_656.ec.smt2
(content)
fatal
ok
0.243s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e8_1118_e8_1177.ec.smt2
(content)
fatal
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e8_1118_e7_1043.ec.smt2
(content)
fatal
ok
0.158s