detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1417.fof.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1416.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1415.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1414.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1413.fof.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1412.fof.smt2 (content) warn ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1411.fof.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1410.fof.smt2 (content) warn ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1409.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1408.fof.smt2 (content) warn ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1407.fof.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1406.fof.smt2 (content) warn ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1405.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1404.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1403.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1402.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1401.fof.smt2 (content) warn ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1400.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1399.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1398.fof.smt2 (content) warn ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1397.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1396.fof.smt2 (content) warn ok 0.088s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1395.fof.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1394.fof.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_1393.fof.smt2 (content) warn ok 0.137s