root
file
detailed [5750..5774]
prev
next
detailed results (33316 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1263.fof.smt2
(content)
warn
ok
0.027s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1262.fof.smt2
(content)
warn
ok
0.027s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1261.fof.smt2
(content)
warn
ok
0.031s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1260.fof.smt2
(content)
warn
ok
0.028s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1259.fof.smt2
(content)
warn
ok
0.026s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1258.fof.smt2
(content)
warn
ok
0.027s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1257.fof.smt2
(content)
warn
ok
0.038s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1256.fof.smt2
(content)
warn
ok
0.035s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1255.fof.smt2
(content)
warn
ok
0.028s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1254.fof.smt2
(content)
warn
ok
0.039s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1253.fof.smt2
(content)
warn
ok
0.032s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1252.fof.smt2
(content)
warn
ok
0.027s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1251.fof.smt2
(content)
warn
ok
0.034s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1250.fof.smt2
(content)
warn
ok
0.027s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1249.fof.smt2
(content)
warn
ok
0.026s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1248.fof.smt2
(content)
warn
ok
0.024s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1247.fof.smt2
(content)
warn
ok
0.029s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1246.fof.smt2
(content)
warn
ok
0.031s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1245.fof.smt2
(content)
warn
ok
0.027s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1244.fof.smt2
(content)
warn
ok
0.026s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1243.fof.smt2
(content)
warn
ok
0.028s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1242.fof.smt2
(content)
warn
ok
0.029s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1241.fof.smt2
(content)
warn
ok
0.027s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1240.fof.smt2
(content)
warn
ok
0.034s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1239.fof.smt2
(content)
warn
ok
0.042s