Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool itstools
Input is S_Dekker-PT-100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-ebro-149488457500213
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Dekker-PT-100-LTLFireability-0
FORMULA_NAME Dekker-PT-100-LTLFireability-1
FORMULA_NAME Dekker-PT-100-LTLFireability-10
FORMULA_NAME Dekker-PT-100-LTLFireability-11
FORMULA_NAME Dekker-PT-100-LTLFireability-12
FORMULA_NAME Dekker-PT-100-LTLFireability-13
FORMULA_NAME Dekker-PT-100-LTLFireability-14
FORMULA_NAME Dekker-PT-100-LTLFireability-15
FORMULA_NAME Dekker-PT-100-LTLFireability-2
FORMULA_NAME Dekker-PT-100-LTLFireability-3
FORMULA_NAME Dekker-PT-100-LTLFireability-4
FORMULA_NAME Dekker-PT-100-LTLFireability-5
FORMULA_NAME Dekker-PT-100-LTLFireability-6
FORMULA_NAME Dekker-PT-100-LTLFireability-7
FORMULA_NAME Dekker-PT-100-LTLFireability-8
FORMULA_NAME Dekker-PT-100-LTLFireability-9

=== Now, execution of the tool begins

BK_START 1496501729442


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(F((F((("flag_1_32>=1")&&("flag_1_76>=1"))&&("p1_76>=1")))U((("flag_1_7>=1")&&("flag_1_86>=1"))&&("p1_86>=1"))))))
Formula 0 simplified : !F(F("flag_1_32>=1" & "flag_1_76>=1" & "p1_76>=1") U ("flag_1_7>=1" & "flag_1_86>=1" & "p1_86>=1"))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 10200 rows 500 cols
invariant : -1'flag_0_44 + 1'p0_44= 0
invariant : 1'flag_0_8 + 1'p1_8 + 1'p3_8= 1
invariant : 1'flag_0_30 + 1'p1_30 + 1'p3_30= 1
invariant : 1'flag_0_84 + 1'p1_84 + 1'p3_84= 1
invariant : 1'flag_0_49 + 1'p1_49 + 1'p349= 1
invariant : -1'flag_0_2 + 1'p0_2= 0
invariant : 1'flag_0_2 + 1'flag_1_2= 1
invariant : -1'flag_0_93 + 1'p0_93= 0
invariant : 1'flag_0_21 + 1'flag_1_21= 1
invariant : 1'flag_0_34 + 1'p1_34 + 1'p3_34= 1
invariant : 1'flag_0_65 + 1'flag_1_65= 1
invariant : 1'flag_0_10 + 1'flag_1_10= 1
invariant : 1'flag_0_1 + 1'p1_1 + 1'p3_1= 1
invariant : 1'flag_0_81 + 1'flag_1_81= 1
invariant : 1'flag_0_69 + 1'p1_69 + 1'p3_69= 1
invariant : 1'flag_0_78 + 1'p1_78 + 1'p3_78= 1
invariant : 1'flag_0_67 + 1'flag_1_67= 1
invariant : 1'flag_0_36 + 1'flag_1_36= 1
invariant : -1'flag_0_92 + 1'p0_92= 0
invariant : 1'flag_0_79 + 1'flag_1_79= 1
invariant : 1'flag_0_27 + 1'flag_1_27= 1
invariant : 1'flag_0_97 + 1'p1_97 + 1'p3_97= 1
invariant : 1'flag_0_70 + 1'p1_70 + 1'p3_70= 1
invariant : -1'flag_0_36 + 1'p0_36= 0
invariant : 1'flag_0_57 + 1'p1_57 + 1'p3_57= 1
invariant : -1'flag_0_75 + 1'p0_75= 0
invariant : 1'flag_0_77 + 1'p1_77 + 1'p3_77= 1
invariant : -1'flag_0_7 + 1'p0_7= 0
invariant : -1'flag_0_52 + 1'p0_52= 0
invariant : -1'flag_0_57 + 1'p0_57= 0
invariant : 1'flag_0_71 + 1'flag_1_71= 1
invariant : 1'flag_0_75 + 1'flag_1_75= 1
invariant : 1'flag_0_76 + 1'p1_76 + 1'p3_76= 1
invariant : -1'flag_0_14 + 1'p0_14= 0
invariant : -1'flag_0_28 + 1'p0_28= 0
invariant : 1'flag_0_92 + 1'p1_92 + 1'p3_92= 1
invariant : -1'flag_0_33 + 1'p0_33= 0
invariant : 1'flag_0_42 + 1'flag_1_42= 1
invariant : 1'flag_0_18 + 1'flag_1_18= 1
invariant : 1'flag_0_71 + 1'p1_71 + 1'p3_71= 1
invariant : 1'flag_0_55 + 1'p1_55 + 1'p3_55= 1
invariant : 1'flag_0_45 + 1'p1_45 + 1'p3_45= 1
invariant : 1'flag_0_32 + 1'flag_1_32= 1
invariant : 1'flag_0_9 + 1'flag_1_9= 1
invariant : 1'flag_0_84 + 1'flag_1_84= 1
invariant : 1'flag_0_18 + 1'p1_18 + 1'p3_18= 1
invariant : 1'flag_0_5 + 1'flag_1_5= 1
invariant : 1'flag_0_13 + 1'flag_1_13= 1
invariant : 1'flag_0_41 + 1'flag_1_41= 1
invariant : 1'flag_0_56 + 1'p1_56 + 1'p3_56= 1
invariant : 1'flag_0_43 + 1'flag_1_43= 1
invariant : 1'flag_0_33 + 1'p1_33 + 1'p3_33= 1
invariant : 1'flag_0_79 + 1'p1_79 + 1'p3_79= 1
invariant : 1'flag_0_48 + 1'flag_1_48= 1
invariant : 1'flag_0_47 + 1'p1_47 + 1'p3_47= 1
invariant : 1'flag_0_17 + 1'p1_17 + 1'p3_17= 1
invariant : 1'flag_0_19 + 1'flag_1_19= 1
invariant : 1'flag_0_68 + 1'p1_68 + 1'p3_68= 1
invariant : -1'flag_0_87 + 1'p0_87= 0
invariant : -1'flag_0_62 + 1'p0_62= 0
invariant : 1'flag_0_17 + 1'flag_1_17= 1
invariant : -1'flag_0_42 + 1'p0_42= 0
invariant : 1'flag_0_14 + 1'p1_14 + 1'p3_14= 1
invariant : -1'flag_0_24 + 1'p0_24= 0
invariant : -1'flag_0_23 + 1'p0_23= 0
invariant : 1'flag_0_67 + 1'p1_67 + 1'p3_67= 1
invariant : 1'flag_0_60 + 1'p1_60 + 1'p3_60= 1
invariant : -1'flag_0_97 + 1'p0_97= 0
invariant : -1'flag_0_72 + 1'p0_72= 0
invariant : 1'flag_0_20 + 1'p1_20 + 1'p3_20= 1
invariant : 1'flag_0_2 + 1'p1_2 + 1'p3_2= 1
invariant : 1'flag_0_73 + 1'flag_1_73= 1
invariant : 1'flag_0_30 + 1'flag_1_30= 1
invariant : 1'flag_0_60 + 1'flag_1_60= 1
invariant : -1'flag_0_90 + 1'p0_90= 0
invariant : 1'flag_0_87 + 1'p1_87 + 1'p3_87= 1
invariant : -1'flag_0_61 + 1'p0_61= 0
invariant : 1'flag_0_39 + 1'p1_39 + 1'p3_39= 1
invariant : 1'flag_0_75 + 1'p1_75 + 1'p3_75= 1
invariant : -1'flag_0_67 + 1'p0_67= 0
invariant : 1'flag_0_80 + 1'p1_80 + 1'p3_80= 1
invariant : 1'flag_0_1 + 1'flag_1_1= 1
invariant : 1'flag_0_98 + 1'flag_1_98= 1
invariant : -1'flag_0_4 + 1'p0_4= 0
invariant : 1'flag_0_11 + 1'flag_1_11= 1
invariant : 1'flag_0_76 + 1'flag_1_76= 1
invariant : 1'flag_0_25 + 1'p1_25 + 1'p3_25= 1
invariant : 1'flag_0_68 + 1'flag_1_68= 1
invariant : 1'flag_0_50 + 1'p1_50 + 1'p3_50= 1
invariant : -1'flag_0_10 + 1'p0_10= 0
invariant : 1'flag_0_31 + 1'flag_1_31= 1
invariant : 1'flag_0_94 + 1'p1_94 + 1'p3_94= 1
invariant : -1'flag_0_71 + 1'p0_71= 0
invariant : -1'flag_0_99 + 1'p0_99= 0
invariant : 1'flag_0_93 + 1'flag_1_93= 1
invariant : -1'flag_0_26 + 1'p0_26= 0
invariant : -1'flag_0_84 + 1'p0_84= 0
invariant : -1'flag_0_50 + 1'p0_50= 0
invariant : -1'flag_0_15 + 1'p0_15= 0
invariant : -1'flag_0_70 + 1'p0_70= 0
invariant : 1'flag_0_37 + 1'p1_37 + 1'p3_37= 1
invariant : -1'flag_0_73 + 1'p0_73= 0
invariant : 1'flag_0_4 + 1'p1_4 + 1'p3_4= 1
invariant : -1'flag_0_78 + 1'p0_78= 0
invariant : 1'flag_0_46 + 1'flag_1_46= 1
invariant : -1'flag_0_86 + 1'p0_86= 0
invariant : 1'flag_0_96 + 1'flag_1_96= 1
invariant : 1'flag_0_3 + 1'flag_1_3= 1
invariant : 1'flag_0_53 + 1'flag_1_53= 1
invariant : 1'flag_0_73 + 1'p1_73 + 1'p3_73= 1
invariant : -1'flag_0_89 + 1'p0_89= 0
invariant : -1'flag_0_59 + 1'p0_59= 0
invariant : -1'flag_0_35 + 1'p0_35= 0
invariant : 1'flag_0_35 + 1'p1_35 + 1'p3_35= 1
invariant : -1'flag_0_79 + 1'p0_79= 0
invariant : 1'flag_0_54 + 1'p1_54 + 1'p3_54= 1
invariant : -1'flag_0_96 + 1'p0_96= 0
invariant : -1'flag_0_82 + 1'p0_82= 0
invariant : 1'flag_0_10 + 1'p1_10 + 1'p3_10= 1
invariant : 1'flag_0_50 + 1'flag_1_50= 1
invariant : 1'flag_0_74 + 1'p1_74 + 1'p3_74= 1
invariant : 1'flag_0_86 + 1'p1_86 + 1'p3_86= 1
invariant : 1'flag_0_22 + 1'flag_1_22= 1
invariant : 1'flag_0_85 + 1'p1_85 + 1'p3_85= 1
invariant : 1'flag_0_34 + 1'flag_1_34= 1
invariant : -1'flag_0_54 + 1'p0_54= 0
invariant : -1'flag_0_69 + 1'p0_69= 0
invariant : 1'flag_0_83 + 1'p1_83 + 1'p3_83= 1
invariant : -1'flag_0_25 + 1'p0_25= 0
invariant : -1'flag_0_32 + 1'p0_32= 0
invariant : -1'flag_0_58 + 1'p0_58= 0
invariant : 1'flag_0_62 + 1'p1_62 + 1'p3_62= 1
invariant : -1'flag_0_12 + 1'p0_12= 0
invariant : -1'flag_0_21 + 1'p0_21= 0
invariant : -1'flag_0_31 + 1'p0_31= 0
invariant : -1'flag_0_34 + 1'p0_34= 0
invariant : 1'flag_0_16 + 1'p1_16 + 1'p3_16= 1
invariant : -1'flag_0_17 + 1'p0_17= 0
invariant : 1'flag_0_53 + 1'p1_53 + 1'p3_53= 1
invariant : 1'flag_0_23 + 1'p1_23 + 1'p3_23= 1
invariant : 1'flag_0_59 + 1'p1_59 + 1'p3_59= 1
invariant : 1'flag_0_72 + 1'p1_72 + 1'p3_72= 1
invariant : 1'flag_0_99 + 1'flag_1_99= 1
invariant : 1'flag_0_28 + 1'flag_1_28= 1
invariant : 1'flag_0_26 + 1'p1_26 + 1'p3_26= 1
invariant : 1'flag_0_37 + 1'flag_1_37= 1
invariant : 1'flag_0_3 + 1'p1_3 + 1'p3_3= 1
invariant : -1'flag_0_38 + 1'p0_38= 0
invariant : -1'flag_0_40 + 1'p0_40= 0
invariant : 1'flag_0_99 + 1'p1_99 + 1'p3_99= 1
invariant : 1'flag_0_89 + 1'p1_89 + 1'p3_89= 1
invariant : 1'flag_0_32 + 1'p1_32 + 1'p3_32= 1
invariant : -1'flag_0_56 + 1'p0_56= 0
invariant : 1'flag_0_82 + 1'p1_82 + 1'p3_82= 1
invariant : -1'flag_0_76 + 1'p0_76= 0
invariant : 1'flag_0_28 + 1'p1_28 + 1'p3_28= 1
invariant : 1'flag_0_47 + 1'flag_1_47= 1
invariant : 1'flag_0_48 + 1'p1_48 + 1'p3_48= 1
invariant : 1'flag_0_95 + 1'flag_1_95= 1
invariant : -1'flag_0_22 + 1'p0_22= 0
invariant : 1'flag_0_56 + 1'flag_1_56= 1
invariant : 1'flag_0_81 + 1'p1_81 + 1'p3_81= 1
invariant : 1'flag_0_20 + 1'flag_1_20= 1
invariant : 1'flag_0_54 + 1'flag_1_54= 1
invariant : -1'flag_0_63 + 1'p0_63= 0
invariant : 1'flag_0_12 + 1'p1_12 + 1'p3_12= 1
invariant : 1'flag_0_44 + 1'p1_44 + 1'p3_44= 1
invariant : 1'flag_0_6 + 1'flag_1_6= 1
invariant : 1'flag_0_88 + 1'flag_1_88= 1
invariant : -1'flag_0_66 + 1'p0_66= 0
invariant : 1'flag_0_97 + 1'flag_1_97= 1
invariant : -1'flag_0_43 + 1'p0_43= 0
invariant : -1'flag_0_47 + 1'p0_47= 0
invariant : 1'flag_0_51 + 1'flag_1_51= 1
invariant : 1'flag_0_14 + 1'flag_1_14= 1
invariant : 1'flag_0_94 + 1'flag_1_94= 1
invariant : 1'flag_0_24 + 1'flag_1_24= 1
invariant : -1'flag_0_85 + 1'p0_85= 0
invariant : -1'flag_0_94 + 1'p0_94= 0
invariant : 1'flag_0_13 + 1'p1_13 + 1'p3_13= 1
invariant : -1'flag_0_0 + 1'p0_0= 0
invariant : -1'flag_0_5 + 1'p0_5= 0
invariant : -1'flag_0_53 + 1'p0_53= 0
invariant : 1'flag_0_61 + 1'flag_1_61= 1
invariant : 1'flag_0_91 + 1'p1_91 + 1'p3_91= 1
invariant : 1'flag_0_85 + 1'flag_1_85= 1
invariant : 1'flag_0_44 + 1'flag_1_44= 1
invariant : -1'flag_0_60 + 1'p0_60= 0
invariant : -1'flag_0_3 + 1'p0_3= 0
invariant : 1'flag_0_0 + 1'p1_0 + 1'p3_0= 1
invariant : 1'flag_0_16 + 1'flag_1_16= 1
invariant : -1'flag_0_8 + 1'p0_8= 0
invariant : -1'flag_0_37 + 1'p0_37= 0
invariant : -1'flag_0_51 + 1'p0_51= 0
invariant : 1'flag_0_7 + 1'p1_7 + 1'p3_7= 1
invariant : 1'flag_0_8 + 1'flag_1_8= 1
invariant : 1'flag_0_11 + 1'p1_11 + 1'p3_11= 1
invariant : 1'flag_0_38 + 1'p1_38 + 1'p3_38= 1
invariant : 1'flag_0_43 + 1'p1_43 + 1'p3_43= 1
invariant : 1'flag_0_42 + 1'p1_42 + 1'p3_42= 1
invariant : 1'flag_0_12 + 1'flag_1_12= 1
invariant : 1'flag_0_91 + 1'flag_1_91= 1
invariant : 1'flag_0_4 + 1'flag_1_4= 1
invariant : -1'flag_0_6 + 1'p0_6= 0
invariant : 1'flag_0_61 + 1'p1_61 + 1'p3_61= 1
invariant : 1'flag_0_21 + 1'p1_21 + 1'p3_21= 1
invariant : -1'flag_0_83 + 1'p0_83= 0
invariant : -1'flag_0_88 + 1'p0_88= 0
invariant : -1'flag_0_30 + 1'p0_30= 0
invariant : 1'flag_0_41 + 1'p1_41 + 1'p3_41= 1
invariant : 1'flag_0_23 + 1'flag_1_23= 1
invariant : 1'flag_0_33 + 1'flag_1_33= 1
invariant : -1'flag_0_95 + 1'p0_95= 0
invariant : 1'flag_0_9 + 1'p1_9 + 1'p3_9= 1
invariant : 1'flag_0_49 + 1'flag_1_49= 1
invariant : -1'flag_0_9 + 1'p0_9= 0
invariant : 1'flag_0_96 + 1'p1_96 + 1'p3_96= 1
invariant : 1'flag_0_36 + 1'p1_36 + 1'p3_36= 1
invariant : 1'flag_0_15 + 1'p1_15 + 1'p3_15= 1
invariant : 1'flag_0_27 + 1'p1_27 + 1'p3_27= 1
invariant : 1'flag_0_0 + 1'flag_1_0= 1
invariant : 1'flag_0_90 + 1'flag_1_90= 1
invariant : 1'flag_0_63 + 1'p1_63 + 1'p3_63= 1
invariant : 1'flag_0_69 + 1'flag_1_69= 1
invariant : 1'flag_0_35 + 1'flag_1_35= 1
invariant : 1'flag_0_77 + 1'flag_1_77= 1
invariant : 1'flag_0_72 + 1'flag_1_72= 1
invariant : 1'flag_0_64 + 1'p1_64 + 1'p3_64= 1
invariant : 1'flag_0_7 + 1'flag_1_7= 1
invariant : 1'flag_0_26 + 1'flag_1_26= 1
invariant : -1'flag_0_16 + 1'p0_16= 0
invariant : 1'flag_0_5 + 1'p1_5 + 1'p3_5= 1
invariant : -1'flag_0_74 + 1'p0_74= 0
invariant : 1'flag_0_29 + 1'flag_1_29= 1
invariant : -1'flag_0_29 + 1'p0_29= 0
invariant : 1'flag_0_59 + 1'flag_1_59= 1
invariant : 1'flag_0_46 + 1'p1_46 + 1'p3_46= 1
invariant : 1'flag_0_90 + 1'p1_90 + 1'p3_90= 1
invariant : -1'flag_0_80 + 1'p0_80= 0
invariant : 1'flag_0_87 + 1'flag_1_87= 1
invariant : 1'flag_0_22 + 1'p1_22 + 1'p3_22= 1
invariant : -1'flag_0_20 + 1'p0_20= 0
invariant : 1'flag_0_62 + 1'flag_1_62= 1
invariant : 1'flag_0_6 + 1'p1_6 + 1'p3_6= 1
invariant : 1'flag_0_98 + 1'p1_98 + 1'p3_98= 1
invariant : -1'flag_0_98 + 1'p0_98= 0
invariant : -1'flag_0_45 + 1'p0_45= 0
invariant : -1'flag_0_48 + 1'p0_48= 0
invariant : 1'flag_0_64 + 1'flag_1_64= 1
invariant : -1'flag_0_49 + 1'p0_49= 0
invariant : 1'flag_0_52 + 1'p1_52 + 1'p3_52= 1
invariant : 1'flag_0_65 + 1'p1_65 + 1'p3_65= 1
invariant : -1'flag_0_68 + 1'p0_68= 0
invariant : 1'flag_0_55 + 1'flag_1_55= 1
invariant : 1'flag_0_58 + 1'flag_1_58= 1
invariant : -1'flag_0_65 + 1'p0_65= 0
invariant : -1'flag_0_39 + 1'p0_39= 0
invariant : 1'flag_0_15 + 1'flag_1_15= 1
invariant : 1'flag_0_86 + 1'flag_1_86= 1
invariant : 1'flag_0_40 + 1'flag_1_40= 1
invariant : 1'flag_0_19 + 1'p1_19 + 1'p3_19= 1
invariant : -1'flag_0_55 + 1'p0_55= 0
invariant : 1'flag_0_38 + 1'flag_1_38= 1
invariant : 1'flag_0_80 + 1'flag_1_80= 1
invariant : 1'flag_0_63 + 1'flag_1_63= 1
invariant : 1'flag_0_74 + 1'flag_1_74= 1
invariant : -1'flag_0_46 + 1'p0_46= 0
invariant : -1'flag_0_19 + 1'p0_19= 0
invariant : 1'flag_0_25 + 1'flag_1_25= 1
invariant : 1'flag_0_70 + 1'flag_1_70= 1
invariant : 1'flag_0_66 + 1'p1_66 + 1'p3_66= 1
invariant : 1'flag_0_83 + 1'flag_1_83= 1
invariant : 1'flag_0_39 + 1'flag_1_39= 1
invariant : -1'flag_0_1 + 1'p0_1= 0
invariant : -1'flag_0_11 + 1'p0_11= 0
invariant : 1'flag_0_57 + 1'flag_1_57= 1
invariant : -1'flag_0_27 + 1'p0_27= 0
invariant : -1'flag_0_18 + 1'p0_18= 0
invariant : 1'flag_0_29 + 1'p1_29 + 1'p3_29= 1
invariant : 1'flag_0_92 + 1'flag_1_92= 1
invariant : -1'flag_0_91 + 1'p0_91= 0
invariant : -1'flag_0_77 + 1'p0_77= 0
invariant : -1'flag_0_64 + 1'p0_64= 0
invariant : 1'flag_0_40 + 1'p1_40 + 1'p3_40= 1
invariant : 1'flag_0_95 + 1'p1_95 + 1'p3_95= 1
invariant : 1'flag_0_31 + 1'p1_31 + 1'p3_31= 1
invariant : 1'flag_0_82 + 1'flag_1_82= 1
invariant : 1'flag_0_78 + 1'flag_1_78= 1
invariant : -1'flag_0_13 + 1'p0_13= 0
invariant : -1'flag_0_81 + 1'p0_81= 0
invariant : 1'flag_0_58 + 1'p1_58 + 1'p3_58= 1
invariant : 1'flag_0_45 + 1'flag_1_45= 1
invariant : 1'flag_0_89 + 1'flag_1_89= 1
invariant : 1'flag_0_24 + 1'p1_24 + 1'p3_24= 1
invariant : -1'flag_0_41 + 1'p0_41= 0
invariant : 1'flag_0_51 + 1'p1_51 + 1'p3_51= 1
invariant : 1'flag_0_52 + 1'flag_1_52= 1
invariant : 1'flag_0_66 + 1'flag_1_66= 1
invariant : 1'flag_0_93 + 1'p1_93 + 1'p3_93= 1
invariant : 1'flag_0_88 + 1'p1_88 + 1'p3_88= 1
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
70020 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,703.142,2800580,1,0,20527,2.17755e+07,19,10212,46706,6.52397e+06,130
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-0 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 1 : !((G(X((F((("flag_1_20>=1")&&("flag_1_43>=1"))&&("p1_43>=1")))U(X((("flag_1_16>=1")&&("flag_1_61>=1"))&&("p1_61>=1")))))))
Formula 1 simplified : !GX(F("flag_1_20>=1" & "flag_1_43>=1" & "p1_43>=1") U X("flag_1_16>=1" & "flag_1_61>=1" & "p1_61>=1"))
5 unique states visited
5 strongly connected components in search stack
5 transitions explored
5 items max in DFS search stack
1414 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,717.301,2804144,1,0,20527,2.17755e+07,69,10212,68532,6.52397e+06,159
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-1 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 2 : !((G((F(F((("flag_1_54>=1")&&("flag_1_56>=1"))&&("p1_56>=1"))))U(X(X((("flag_1_52>=1")&&("flag_1_87>=1"))&&("p1_52>=1")))))))
Formula 2 simplified : !G(F("flag_1_54>=1" & "flag_1_56>=1" & "p1_56>=1") U XX("flag_1_52>=1" & "flag_1_87>=1" & "p1_52>=1"))
6 unique states visited
6 strongly connected components in search stack
6 transitions explored
6 items max in DFS search stack
309 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,720.405,2804192,1,0,20527,2.17755e+07,113,10212,68562,6.52397e+06,178
an accepting run exists (use option '-e' to print it)
Formula 2 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-2 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 3 : !((X(X(F((("flag_1_10>=1")&&("flag_1_11>=1"))&&("p1_11>=1"))))))
Formula 3 simplified : !XXF("flag_1_10>=1" & "flag_1_11>=1" & "p1_11>=1")
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
21255 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,932.948,3091468,1,0,20527,2.33428e+07,19,10212,46706,7.07128e+06,300
an accepting run exists (use option '-e' to print it)
Formula 3 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-3 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 4 : !((F(F((G((("flag_1_48>=1")&&("flag_1_56>=1"))&&("p1_48>=1")))U(F((("flag_1_49>=1")&&("flag_1_75>=1"))&&("p1_49>=1")))))))
Formula 4 simplified : !F(G("flag_1_48>=1" & "flag_1_56>=1" & "p1_48>=1") U F("flag_1_49>=1" & "flag_1_75>=1" & "p1_49>=1"))
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
26972 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1202.66,3379808,1,0,20527,2.60153e+07,19,10212,46706,7.6429e+06,335
an accepting run exists (use option '-e' to print it)
Formula 4 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-4 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 5 : !(((("flag_1_10>=1")&&("flag_1_91>=1"))&&("p1_91>=1")))
Formula 5 simplified : !("flag_1_10>=1" & "flag_1_91>=1" & "p1_91>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
1090 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1213.57,3379808,1,0,20527,2.60153e+07,40,10212,68511,7.6429e+06,354
an accepting run exists (use option '-e' to print it)
Formula 5 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-5 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 6 : !((F(X(G(("flag_1_88>=1")&&("p3_88>=1"))))))
Formula 6 simplified : !FXG("flag_1_88>=1" & "p3_88>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
18688 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1400.45,3724728,1,0,20527,2.95584e+07,22,10212,46704,8.77558e+06,875
an accepting run exists (use option '-e' to print it)
Formula 6 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-6 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 7 : !((X(G(((("flag_1_24>=1")&&("flag_1_44>=1"))&&("p1_24>=1"))U(X((("flag_1_19>=1")&&("flag_1_73>=1"))&&("p1_19>=1")))))))
Formula 7 simplified : !XG(("flag_1_24>=1" & "flag_1_44>=1" & "p1_24>=1") U X("flag_1_19>=1" & "flag_1_73>=1" & "p1_19>=1"))
5 unique states visited
5 strongly connected components in search stack
6 transitions explored
5 items max in DFS search stack
1432 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1414.76,3724728,1,0,20527,2.95584e+07,56,10212,68518,8.77558e+06,902
an accepting run exists (use option '-e' to print it)
Formula 7 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-7 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 8 : !((F(G(G(X((("flag_1_12>=1")&&("flag_1_22>=1"))&&("p1_22>=1")))))))
Formula 8 simplified : !FGX("flag_1_12>=1" & "flag_1_22>=1" & "p1_22>=1")
2 unique states visited
1 strongly connected components in search stack
3 transitions explored
2 items max in DFS search stack
181 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1416.57,3724728,1,0,20527,2.95584e+07,71,10212,68527,8.77558e+06,910
an accepting run exists (use option '-e' to print it)
Formula 8 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-8 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 9 : !((X((((("flag_1_72>=1")&&("flag_1_78>=1"))&&("p1_78>=1"))U((("flag_1_27>=1")&&("flag_1_87>=1"))&&("p1_87>=1")))U(((("flag_1_73>=1")&&("flag_1_76>=1"))&&("p1_73>=1"))U((("flag_1_51>=1")&&("flag_1_87>=1"))&&("p1_51>=1"))))))
Formula 9 simplified : !X((("flag_1_72>=1" & "flag_1_78>=1" & "p1_78>=1") U ("flag_1_27>=1" & "flag_1_87>=1" & "p1_87>=1")) U (("flag_1_73>=1" & "flag_1_76>=1" & "p1_73>=1") U ("flag_1_51>=1" & "flag_1_87>=1" & "p1_51>=1")))
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
30 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1417.07,3724728,1,0,20527,2.95584e+07,212,10212,68663,8.77558e+06,924
an accepting run exists (use option '-e' to print it)
Formula 9 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-9 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 10 : !((G(G(F(F(X((("flag_1_29>=1")&&("flag_1_36>=1"))&&("p1_29>=1"))))))))
Formula 10 simplified : !GFX("flag_1_29>=1" & "flag_1_36>=1" & "p1_29>=1")
3 unique states visited
3 strongly connected components in search stack
4 transitions explored
3 items max in DFS search stack
165 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1418.73,3724728,1,0,20527,2.95584e+07,231,10212,68672,8.77558e+06,933
an accepting run exists (use option '-e' to print it)
Formula 10 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-10 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 11 : !((G((((("flag_1_87>=1")&&("flag_1_88>=1"))&&("p1_88>=1"))U((("flag_1_3>=1")&&("flag_1_18>=1"))&&("p1_18>=1")))U((("flag_1_14>=1")&&("flag_1_28>=1"))&&("p1_28>=1")))))
Formula 11 simplified : !G((("flag_1_87>=1" & "flag_1_88>=1" & "p1_88>=1") U ("flag_1_3>=1" & "flag_1_18>=1" & "p1_18>=1")) U ("flag_1_14>=1" & "flag_1_28>=1" & "p1_28>=1"))
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
1 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1418.8,3724728,1,0,20527,2.95584e+07,340,10212,68772,8.77558e+06,942
an accepting run exists (use option '-e' to print it)
Formula 11 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 12 : !((X(X(G((("flag_1_50>=1")&&("flag_1_83>=1"))&&("p1_50>=1"))))))
Formula 12 simplified : !XXG("flag_1_50>=1" & "flag_1_83>=1" & "p1_50>=1")
5 unique states visited
5 strongly connected components in search stack
5 transitions explored
5 items max in DFS search stack
4060 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1459.4,3724728,1,0,20527,2.95584e+07,360,10212,68786,8.77558e+06,1450
an accepting run exists (use option '-e' to print it)
Formula 12 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 13 : !((X(F(X(F((("flag_1_26>=1")&&("flag_1_64>=1"))&&("p1_26>=1")))))))
Formula 13 simplified : !XFXF("flag_1_26>=1" & "flag_1_64>=1" & "p1_26>=1")
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
24107 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1700.48,4099664,1,0,20527,3.20717e+07,19,10212,46706,1.0053e+07,260
an accepting run exists (use option '-e' to print it)
Formula 13 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 14 : !((X(F((("flag_1_91>=1")&&("flag_1_98>=1"))&&("p1_98>=1")))))
Formula 14 simplified : !XF("flag_1_91>=1" & "flag_1_98>=1" & "p1_98>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
13836 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1838.84,4481540,1,0,20527,3.56642e+07,39,10212,67911,1.03096e+07,777
an accepting run exists (use option '-e' to print it)
Formula 14 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 15 : !((("flag_1_23>=1")&&("p3_23>=1")))
Formula 15 simplified : !("flag_1_23>=1" & "p3_23>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
417 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1843,4495376,1,0,20527,3.56704e+07,54,10212,68516,1.0316e+07,789
an accepting run exists (use option '-e' to print it)
Formula 15 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-15 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Exit code :0

BK_STOP 1496503619473

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 2:55:32 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 2:55:33 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 1011 ms
Jun 03, 2017 2:55:33 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 500 places.
Jun 03, 2017 2:55:34 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 10200 transitions.
Jun 03, 2017 2:55:37 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 3116 ms
Jun 03, 2017 2:55:37 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 250 ms
Jun 03, 2017 2:55:37 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 3 ms
Jun 03, 2017 2:55:50 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 300 place invariants in 1518 ms
Jun 03, 2017 2:56:27 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 500 variables to be positive in 38424 ms
Jun 03, 2017 2:56:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 10200 transitions.
Jun 03, 2017 2:56:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/10200 took 66 ms. Total solver calls (SAT/UNSAT): 102(1/101)
Jun 03, 2017 2:56:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1/10200 took 10771 ms. Total solver calls (SAT/UNSAT): 10202(101/10101)
Jun 03, 2017 2:56:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/10200 took 13937 ms. Total solver calls (SAT/UNSAT): 10506(301/10205)
Jun 03, 2017 2:56:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/10200 took 17096 ms. Total solver calls (SAT/UNSAT): 10709(500/10209)
Jun 03, 2017 2:56:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/10200 took 20212 ms. Total solver calls (SAT/UNSAT): 10912(699/10213)
Jun 03, 2017 2:56:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/10200 took 23388 ms. Total solver calls (SAT/UNSAT): 11115(898/10217)
Jun 03, 2017 2:56:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/10200 took 26508 ms. Total solver calls (SAT/UNSAT): 11318(1097/10221)
Jun 03, 2017 2:56:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/10200 took 29646 ms. Total solver calls (SAT/UNSAT): 11521(1296/10225)
Jun 03, 2017 2:57:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/10200 took 32762 ms. Total solver calls (SAT/UNSAT): 11724(1495/10229)
Jun 03, 2017 2:57:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/10200 took 35877 ms. Total solver calls (SAT/UNSAT): 11927(1694/10233)
Jun 03, 2017 2:57:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/10200 took 39058 ms. Total solver calls (SAT/UNSAT): 12130(1893/10237)
Jun 03, 2017 2:57:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/10200 took 42173 ms. Total solver calls (SAT/UNSAT): 12333(2092/10241)
Jun 03, 2017 2:57:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/10200 took 45270 ms. Total solver calls (SAT/UNSAT): 12536(2291/10245)
Jun 03, 2017 2:57:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/10200 took 48406 ms. Total solver calls (SAT/UNSAT): 12739(2490/10249)
Jun 03, 2017 2:57:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/10200 took 51568 ms. Total solver calls (SAT/UNSAT): 12942(2689/10253)
Jun 03, 2017 2:57:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/10200 took 54682 ms. Total solver calls (SAT/UNSAT): 13145(2888/10257)
Jun 03, 2017 2:57:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/10200 took 57831 ms. Total solver calls (SAT/UNSAT): 13348(3087/10261)
Jun 03, 2017 2:57:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/10200 took 60986 ms. Total solver calls (SAT/UNSAT): 13551(3286/10265)
Jun 03, 2017 2:57:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/10200 took 64079 ms. Total solver calls (SAT/UNSAT): 13754(3485/10269)
Jun 03, 2017 2:57:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/10200 took 67245 ms. Total solver calls (SAT/UNSAT): 13957(3684/10273)
Jun 03, 2017 2:57:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/10200 took 70415 ms. Total solver calls (SAT/UNSAT): 14160(3883/10277)
Jun 03, 2017 2:57:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/10200 took 73515 ms. Total solver calls (SAT/UNSAT): 14363(4082/10281)
Jun 03, 2017 2:57:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/10200 took 76624 ms. Total solver calls (SAT/UNSAT): 14566(4281/10285)
Jun 03, 2017 2:57:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/10200 took 79724 ms. Total solver calls (SAT/UNSAT): 14769(4480/10289)
Jun 03, 2017 2:57:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/10200 took 82835 ms. Total solver calls (SAT/UNSAT): 14972(4679/10293)
Jun 03, 2017 2:57:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/10200 took 85958 ms. Total solver calls (SAT/UNSAT): 15175(4878/10297)
Jun 03, 2017 2:57:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/10200 took 89128 ms. Total solver calls (SAT/UNSAT): 15378(5077/10301)
Jun 03, 2017 2:58:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/10200 took 92227 ms. Total solver calls (SAT/UNSAT): 15581(5276/10305)
Jun 03, 2017 2:58:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/10200 took 95320 ms. Total solver calls (SAT/UNSAT): 15784(5475/10309)
Jun 03, 2017 2:58:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/10200 took 98408 ms. Total solver calls (SAT/UNSAT): 15987(5674/10313)
Jun 03, 2017 2:58:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/10200 took 101507 ms. Total solver calls (SAT/UNSAT): 16190(5873/10317)
Jun 03, 2017 2:58:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/10200 took 104609 ms. Total solver calls (SAT/UNSAT): 16393(6072/10321)
Jun 03, 2017 2:58:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/10200 took 107722 ms. Total solver calls (SAT/UNSAT): 16596(6271/10325)
Jun 03, 2017 2:58:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/10200 took 110825 ms. Total solver calls (SAT/UNSAT): 16799(6470/10329)
Jun 03, 2017 2:58:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/10200 took 113924 ms. Total solver calls (SAT/UNSAT): 17002(6669/10333)
Jun 03, 2017 2:58:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/10200 took 117018 ms. Total solver calls (SAT/UNSAT): 17205(6868/10337)
Jun 03, 2017 2:58:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/10200 took 120112 ms. Total solver calls (SAT/UNSAT): 17408(7067/10341)
Jun 03, 2017 2:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/10200 took 123209 ms. Total solver calls (SAT/UNSAT): 17611(7266/10345)
Jun 03, 2017 2:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/10200 took 126297 ms. Total solver calls (SAT/UNSAT): 17814(7465/10349)
Jun 03, 2017 2:58:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/10200 took 129381 ms. Total solver calls (SAT/UNSAT): 18017(7664/10353)
Jun 03, 2017 2:58:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/10200 took 132491 ms. Total solver calls (SAT/UNSAT): 18220(7863/10357)
Jun 03, 2017 2:58:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/10200 took 135580 ms. Total solver calls (SAT/UNSAT): 18423(8062/10361)
Jun 03, 2017 2:58:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/10200 took 138671 ms. Total solver calls (SAT/UNSAT): 18626(8261/10365)
Jun 03, 2017 2:58:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/10200 took 141761 ms. Total solver calls (SAT/UNSAT): 18829(8460/10369)
Jun 03, 2017 2:58:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/10200 took 144864 ms. Total solver calls (SAT/UNSAT): 19032(8659/10373)
Jun 03, 2017 2:58:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/10200 took 147963 ms. Total solver calls (SAT/UNSAT): 19235(8858/10377)
Jun 03, 2017 2:58:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/10200 took 151543 ms. Total solver calls (SAT/UNSAT): 19438(9057/10381)
Jun 03, 2017 2:59:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/10200 took 154642 ms. Total solver calls (SAT/UNSAT): 19641(9256/10385)
Jun 03, 2017 2:59:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/10200 took 157720 ms. Total solver calls (SAT/UNSAT): 19844(9455/10389)
Jun 03, 2017 2:59:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/10200 took 160787 ms. Total solver calls (SAT/UNSAT): 20047(9654/10393)
Jun 03, 2017 2:59:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/10200 took 163878 ms. Total solver calls (SAT/UNSAT): 20250(9853/10397)
Jun 03, 2017 2:59:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/10200 took 166967 ms. Total solver calls (SAT/UNSAT): 20453(10052/10401)
Jun 03, 2017 2:59:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/10200 took 170057 ms. Total solver calls (SAT/UNSAT): 20656(10251/10405)
Jun 03, 2017 2:59:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/10200 took 173219 ms. Total solver calls (SAT/UNSAT): 20859(10450/10409)
Jun 03, 2017 2:59:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/10200 took 176305 ms. Total solver calls (SAT/UNSAT): 21062(10649/10413)
Jun 03, 2017 2:59:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/10200 took 179411 ms. Total solver calls (SAT/UNSAT): 21265(10848/10417)
Jun 03, 2017 2:59:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/10200 took 182531 ms. Total solver calls (SAT/UNSAT): 21468(11047/10421)
Jun 03, 2017 2:59:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/10200 took 185606 ms. Total solver calls (SAT/UNSAT): 21671(11246/10425)
Jun 03, 2017 2:59:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/10200 took 188681 ms. Total solver calls (SAT/UNSAT): 21874(11445/10429)
Jun 03, 2017 2:59:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/10200 took 191761 ms. Total solver calls (SAT/UNSAT): 22077(11644/10433)
Jun 03, 2017 2:59:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/10200 took 194847 ms. Total solver calls (SAT/UNSAT): 22280(11843/10437)
Jun 03, 2017 2:59:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/10200 took 197921 ms. Total solver calls (SAT/UNSAT): 22483(12042/10441)
Jun 03, 2017 2:59:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/10200 took 200996 ms. Total solver calls (SAT/UNSAT): 22686(12241/10445)
Jun 03, 2017 2:59:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/10200 took 204090 ms. Total solver calls (SAT/UNSAT): 22889(12440/10449)
Jun 03, 2017 2:59:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/10200 took 207180 ms. Total solver calls (SAT/UNSAT): 23092(12639/10453)
Jun 03, 2017 2:59:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/10200 took 210268 ms. Total solver calls (SAT/UNSAT): 23295(12838/10457)
Jun 03, 2017 3:00:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/10200 took 213372 ms. Total solver calls (SAT/UNSAT): 23498(13037/10461)
Jun 03, 2017 3:00:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/10200 took 216479 ms. Total solver calls (SAT/UNSAT): 23701(13236/10465)
Jun 03, 2017 3:00:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/10200 took 219589 ms. Total solver calls (SAT/UNSAT): 23904(13435/10469)
Jun 03, 2017 3:00:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/10200 took 222748 ms. Total solver calls (SAT/UNSAT): 24107(13634/10473)
Jun 03, 2017 3:00:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/10200 took 225836 ms. Total solver calls (SAT/UNSAT): 24310(13833/10477)
Jun 03, 2017 3:00:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/10200 took 228962 ms. Total solver calls (SAT/UNSAT): 24513(14032/10481)
Jun 03, 2017 3:00:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/10200 took 232042 ms. Total solver calls (SAT/UNSAT): 24716(14231/10485)
Jun 03, 2017 3:00:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/10200 took 235125 ms. Total solver calls (SAT/UNSAT): 24919(14430/10489)
Jun 03, 2017 3:00:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/10200 took 238255 ms. Total solver calls (SAT/UNSAT): 25122(14629/10493)
Jun 03, 2017 3:00:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/10200 took 241370 ms. Total solver calls (SAT/UNSAT): 25325(14828/10497)
Jun 03, 2017 3:00:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/10200 took 244465 ms. Total solver calls (SAT/UNSAT): 25528(15027/10501)
Jun 03, 2017 3:00:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/10200 took 247593 ms. Total solver calls (SAT/UNSAT): 25731(15226/10505)
Jun 03, 2017 3:00:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/10200 took 250765 ms. Total solver calls (SAT/UNSAT): 25934(15425/10509)
Jun 03, 2017 3:00:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/10200 took 253856 ms. Total solver calls (SAT/UNSAT): 26137(15624/10513)
Jun 03, 2017 3:00:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/10200 took 256955 ms. Total solver calls (SAT/UNSAT): 26340(15823/10517)
Jun 03, 2017 3:00:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/10200 took 260121 ms. Total solver calls (SAT/UNSAT): 26543(16022/10521)
Jun 03, 2017 3:00:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/10200 took 263212 ms. Total solver calls (SAT/UNSAT): 26746(16221/10525)
Jun 03, 2017 3:00:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/10200 took 266299 ms. Total solver calls (SAT/UNSAT): 26949(16420/10529)
Jun 03, 2017 3:00:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/10200 took 269376 ms. Total solver calls (SAT/UNSAT): 27152(16619/10533)
Jun 03, 2017 3:01:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/10200 took 272596 ms. Total solver calls (SAT/UNSAT): 27355(16818/10537)
Jun 03, 2017 3:01:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/10200 took 275841 ms. Total solver calls (SAT/UNSAT): 27558(17017/10541)
Jun 03, 2017 3:01:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/10200 took 278929 ms. Total solver calls (SAT/UNSAT): 27761(17216/10545)
Jun 03, 2017 3:01:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/10200 took 282022 ms. Total solver calls (SAT/UNSAT): 27964(17415/10549)
Jun 03, 2017 3:01:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/10200 took 285203 ms. Total solver calls (SAT/UNSAT): 28167(17614/10553)
Jun 03, 2017 3:01:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/10200 took 288850 ms. Total solver calls (SAT/UNSAT): 28370(17813/10557)
Jun 03, 2017 3:01:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/10200 took 292137 ms. Total solver calls (SAT/UNSAT): 28573(18012/10561)
Jun 03, 2017 3:01:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/10200 took 295228 ms. Total solver calls (SAT/UNSAT): 28776(18211/10565)
Jun 03, 2017 3:01:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/10200 took 298362 ms. Total solver calls (SAT/UNSAT): 28979(18410/10569)
Jun 03, 2017 3:01:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/10200 took 301449 ms. Total solver calls (SAT/UNSAT): 29182(18609/10573)
Jun 03, 2017 3:01:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/10200 took 304536 ms. Total solver calls (SAT/UNSAT): 29385(18808/10577)
Jun 03, 2017 3:01:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/10200 took 307625 ms. Total solver calls (SAT/UNSAT): 29588(19007/10581)
Jun 03, 2017 3:01:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/10200 took 310713 ms. Total solver calls (SAT/UNSAT): 29791(19206/10585)
Jun 03, 2017 3:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/10200 took 313799 ms. Total solver calls (SAT/UNSAT): 29994(19405/10589)
Jun 03, 2017 3:01:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/10200 took 316880 ms. Total solver calls (SAT/UNSAT): 30197(19604/10593)
Jun 03, 2017 3:01:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/10200 took 319958 ms. Total solver calls (SAT/UNSAT): 30400(19803/10597)
Jun 03, 2017 3:01:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/10200 took 330545 ms. Total solver calls (SAT/UNSAT): 40602(19904/20698)
Jun 03, 2017 3:02:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/10200 took 333703 ms. Total solver calls (SAT/UNSAT): 40906(20104/20802)
Jun 03, 2017 3:02:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/10200 took 336787 ms. Total solver calls (SAT/UNSAT): 41109(20303/20806)
Jun 03, 2017 3:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/10200 took 339931 ms. Total solver calls (SAT/UNSAT): 41312(20502/20810)
Jun 03, 2017 3:02:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/10200 took 343022 ms. Total solver calls (SAT/UNSAT): 41515(20701/20814)
Jun 03, 2017 3:02:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/10200 took 346129 ms. Total solver calls (SAT/UNSAT): 41718(20900/20818)
Jun 03, 2017 3:02:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/10200 took 349201 ms. Total solver calls (SAT/UNSAT): 41921(21099/20822)
Jun 03, 2017 3:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/10200 took 352276 ms. Total solver calls (SAT/UNSAT): 42124(21298/20826)
Jun 03, 2017 3:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/10200 took 355354 ms. Total solver calls (SAT/UNSAT): 42327(21497/20830)
Jun 03, 2017 3:02:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/10200 took 358437 ms. Total solver calls (SAT/UNSAT): 42530(21696/20834)
Jun 03, 2017 3:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/10200 took 361597 ms. Total solver calls (SAT/UNSAT): 42733(21895/20838)
Jun 03, 2017 3:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/10200 took 365008 ms. Total solver calls (SAT/UNSAT): 42936(22094/20842)
Jun 03, 2017 3:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/10200 took 368152 ms. Total solver calls (SAT/UNSAT): 43139(22293/20846)
Jun 03, 2017 3:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/10200 took 371274 ms. Total solver calls (SAT/UNSAT): 43342(22492/20850)
Jun 03, 2017 3:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/10200 took 374413 ms. Total solver calls (SAT/UNSAT): 43545(22691/20854)
Jun 03, 2017 3:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/10200 took 377489 ms. Total solver calls (SAT/UNSAT): 43748(22890/20858)
Jun 03, 2017 3:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/10200 took 380538 ms. Total solver calls (SAT/UNSAT): 43951(23089/20862)
Jun 03, 2017 3:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/10200 took 383593 ms. Total solver calls (SAT/UNSAT): 44154(23288/20866)
Jun 03, 2017 3:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/10200 took 386628 ms. Total solver calls (SAT/UNSAT): 44357(23487/20870)
Jun 03, 2017 3:02:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/10200 took 389692 ms. Total solver calls (SAT/UNSAT): 44560(23686/20874)
Jun 03, 2017 3:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/10200 took 392742 ms. Total solver calls (SAT/UNSAT): 44763(23885/20878)
Jun 03, 2017 3:03:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/10200 took 395861 ms. Total solver calls (SAT/UNSAT): 44966(24084/20882)
Jun 03, 2017 3:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/10200 took 398945 ms. Total solver calls (SAT/UNSAT): 45169(24283/20886)
Jun 03, 2017 3:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/10200 took 402014 ms. Total solver calls (SAT/UNSAT): 45372(24482/20890)
Jun 03, 2017 3:03:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/10200 took 405084 ms. Total solver calls (SAT/UNSAT): 45575(24681/20894)
Jun 03, 2017 3:03:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/10200 took 408159 ms. Total solver calls (SAT/UNSAT): 45778(24880/20898)
Jun 03, 2017 3:03:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/10200 took 411245 ms. Total solver calls (SAT/UNSAT): 45981(25079/20902)
Jun 03, 2017 3:03:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/10200 took 414320 ms. Total solver calls (SAT/UNSAT): 46184(25278/20906)
Jun 03, 2017 3:03:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/10200 took 417387 ms. Total solver calls (SAT/UNSAT): 46387(25477/20910)
Jun 03, 2017 3:03:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/10200 took 420460 ms. Total solver calls (SAT/UNSAT): 46590(25676/20914)
Jun 03, 2017 3:03:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/10200 took 423537 ms. Total solver calls (SAT/UNSAT): 46793(25875/20918)
Jun 03, 2017 3:03:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/10200 took 426664 ms. Total solver calls (SAT/UNSAT): 46996(26074/20922)
Jun 03, 2017 3:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/10200 took 429729 ms. Total solver calls (SAT/UNSAT): 47199(26273/20926)
Jun 03, 2017 3:03:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/10200 took 432780 ms. Total solver calls (SAT/UNSAT): 47402(26472/20930)
Jun 03, 2017 3:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/10200 took 435876 ms. Total solver calls (SAT/UNSAT): 47605(26671/20934)
Jun 03, 2017 3:03:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/10200 took 438948 ms. Total solver calls (SAT/UNSAT): 47808(26870/20938)
Jun 03, 2017 3:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/10200 took 442019 ms. Total solver calls (SAT/UNSAT): 48011(27069/20942)
Jun 03, 2017 3:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/10200 took 445083 ms. Total solver calls (SAT/UNSAT): 48214(27268/20946)
Jun 03, 2017 3:03:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/10200 took 448149 ms. Total solver calls (SAT/UNSAT): 48417(27467/20950)
Jun 03, 2017 3:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/10200 took 451225 ms. Total solver calls (SAT/UNSAT): 48620(27666/20954)
Jun 03, 2017 3:04:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/10200 took 454295 ms. Total solver calls (SAT/UNSAT): 48823(27865/20958)
Jun 03, 2017 3:04:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/10200 took 457366 ms. Total solver calls (SAT/UNSAT): 49026(28064/20962)
Jun 03, 2017 3:04:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/10200 took 460507 ms. Total solver calls (SAT/UNSAT): 49229(28263/20966)
Jun 03, 2017 3:04:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/10200 took 463635 ms. Total solver calls (SAT/UNSAT): 49432(28462/20970)
Jun 03, 2017 3:04:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/10200 took 466764 ms. Total solver calls (SAT/UNSAT): 49635(28661/20974)
Jun 03, 2017 3:04:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/10200 took 469916 ms. Total solver calls (SAT/UNSAT): 49838(28860/20978)
Jun 03, 2017 3:04:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/10200 took 472989 ms. Total solver calls (SAT/UNSAT): 50041(29059/20982)
Jun 03, 2017 3:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/10200 took 476073 ms. Total solver calls (SAT/UNSAT): 50244(29258/20986)
Jun 03, 2017 3:04:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/10200 took 479139 ms. Total solver calls (SAT/UNSAT): 50447(29457/20990)
Jun 03, 2017 3:04:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/10200 took 482217 ms. Total solver calls (SAT/UNSAT): 50650(29656/20994)
Jun 03, 2017 3:04:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/10200 took 485337 ms. Total solver calls (SAT/UNSAT): 50853(29855/20998)
Jun 03, 2017 3:04:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/10200 took 488416 ms. Total solver calls (SAT/UNSAT): 51056(30054/21002)
Jun 03, 2017 3:04:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/10200 took 491501 ms. Total solver calls (SAT/UNSAT): 51259(30253/21006)
Jun 03, 2017 3:04:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/10200 took 494561 ms. Total solver calls (SAT/UNSAT): 51462(30452/21010)
Jun 03, 2017 3:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/10200 took 497647 ms. Total solver calls (SAT/UNSAT): 51665(30651/21014)
Jun 03, 2017 3:04:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/10200 took 500720 ms. Total solver calls (SAT/UNSAT): 51868(30850/21018)
Jun 03, 2017 3:04:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/10200 took 503775 ms. Total solver calls (SAT/UNSAT): 52071(31049/21022)
Jun 03, 2017 3:04:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/10200 took 506840 ms. Total solver calls (SAT/UNSAT): 52274(31248/21026)
Jun 03, 2017 3:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/10200 took 509926 ms. Total solver calls (SAT/UNSAT): 52477(31447/21030)
Jun 03, 2017 3:05:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/10200 took 513042 ms. Total solver calls (SAT/UNSAT): 52680(31646/21034)
Jun 03, 2017 3:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/10200 took 516172 ms. Total solver calls (SAT/UNSAT): 52883(31845/21038)
Jun 03, 2017 3:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/10200 took 519247 ms. Total solver calls (SAT/UNSAT): 53086(32044/21042)
Jun 03, 2017 3:05:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/10200 took 522338 ms. Total solver calls (SAT/UNSAT): 53289(32243/21046)
Jun 03, 2017 3:05:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/10200 took 525428 ms. Total solver calls (SAT/UNSAT): 53492(32442/21050)
Jun 03, 2017 3:05:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/10200 took 528512 ms. Total solver calls (SAT/UNSAT): 53695(32641/21054)
Jun 03, 2017 3:05:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/10200 took 531657 ms. Total solver calls (SAT/UNSAT): 53898(32840/21058)
Jun 03, 2017 3:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/10200 took 534729 ms. Total solver calls (SAT/UNSAT): 54101(33039/21062)
Jun 03, 2017 3:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/10200 took 537801 ms. Total solver calls (SAT/UNSAT): 54304(33238/21066)
Jun 03, 2017 3:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/10200 took 540882 ms. Total solver calls (SAT/UNSAT): 54507(33437/21070)
Jun 03, 2017 3:05:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/10200 took 544019 ms. Total solver calls (SAT/UNSAT): 54710(33636/21074)
Jun 03, 2017 3:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/10200 took 547086 ms. Total solver calls (SAT/UNSAT): 54913(33835/21078)
Jun 03, 2017 3:05:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/10200 took 550148 ms. Total solver calls (SAT/UNSAT): 55116(34034/21082)
Jun 03, 2017 3:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/10200 took 553244 ms. Total solver calls (SAT/UNSAT): 55319(34233/21086)
Jun 03, 2017 3:05:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/10200 took 556308 ms. Total solver calls (SAT/UNSAT): 55522(34432/21090)
Jun 03, 2017 3:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/10200 took 559378 ms. Total solver calls (SAT/UNSAT): 55725(34631/21094)
Jun 03, 2017 3:05:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/10200 took 562441 ms. Total solver calls (SAT/UNSAT): 55928(34830/21098)
Jun 03, 2017 3:05:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/10200 took 565499 ms. Total solver calls (SAT/UNSAT): 56131(35029/21102)
Jun 03, 2017 3:05:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/10200 took 568558 ms. Total solver calls (SAT/UNSAT): 56334(35228/21106)
Jun 03, 2017 3:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/10200 took 571622 ms. Total solver calls (SAT/UNSAT): 56537(35427/21110)
Jun 03, 2017 3:06:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/10200 took 574692 ms. Total solver calls (SAT/UNSAT): 56740(35626/21114)
Jun 03, 2017 3:06:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/10200 took 577746 ms. Total solver calls (SAT/UNSAT): 56943(35825/21118)
Jun 03, 2017 3:06:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/10200 took 580818 ms. Total solver calls (SAT/UNSAT): 57146(36024/21122)
Jun 03, 2017 3:06:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/10200 took 583874 ms. Total solver calls (SAT/UNSAT): 57349(36223/21126)
Jun 03, 2017 3:06:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/10200 took 586931 ms. Total solver calls (SAT/UNSAT): 57552(36422/21130)
Jun 03, 2017 3:06:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/10200 took 589987 ms. Total solver calls (SAT/UNSAT): 57755(36621/21134)
Jun 03, 2017 3:06:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/10200 took 593048 ms. Total solver calls (SAT/UNSAT): 57958(36820/21138)
Jun 03, 2017 3:06:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/10200 took 596099 ms. Total solver calls (SAT/UNSAT): 58161(37019/21142)
Jun 03, 2017 3:06:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/10200 took 599160 ms. Total solver calls (SAT/UNSAT): 58364(37218/21146)
Jun 03, 2017 3:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/10200 took 602221 ms. Total solver calls (SAT/UNSAT): 58567(37417/21150)
Jun 03, 2017 3:06:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/10200 took 605271 ms. Total solver calls (SAT/UNSAT): 58770(37616/21154)
Jun 03, 2017 3:06:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/10200 took 608319 ms. Total solver calls (SAT/UNSAT): 58973(37815/21158)
Jun 03, 2017 3:06:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/10200 took 611360 ms. Total solver calls (SAT/UNSAT): 59176(38014/21162)
Jun 03, 2017 3:06:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/10200 took 614405 ms. Total solver calls (SAT/UNSAT): 59379(38213/21166)
Jun 03, 2017 3:06:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/10200 took 617454 ms. Total solver calls (SAT/UNSAT): 59582(38412/21170)
Jun 03, 2017 3:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/10200 took 620511 ms. Total solver calls (SAT/UNSAT): 59785(38611/21174)
Jun 03, 2017 3:06:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/10200 took 623557 ms. Total solver calls (SAT/UNSAT): 59988(38810/21178)
Jun 03, 2017 3:06:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/10200 took 626695 ms. Total solver calls (SAT/UNSAT): 60191(39009/21182)
Jun 03, 2017 3:06:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/10200 took 629760 ms. Total solver calls (SAT/UNSAT): 60394(39208/21186)
Jun 03, 2017 3:07:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/10200 took 632810 ms. Total solver calls (SAT/UNSAT): 60597(39407/21190)
Jun 03, 2017 3:07:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/10200 took 635984 ms. Total solver calls (SAT/UNSAT): 60800(39606/21194)
Jun 03, 2017 3:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/10200 took 646533 ms. Total solver calls (SAT/UNSAT): 71002(39707/31295)
Jun 03, 2017 3:07:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/10200 took 649747 ms. Total solver calls (SAT/UNSAT): 71306(39907/31399)
Jun 03, 2017 3:07:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/10200 took 652820 ms. Total solver calls (SAT/UNSAT): 71509(40106/31403)
Jun 03, 2017 3:07:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/10200 took 655907 ms. Total solver calls (SAT/UNSAT): 71712(40305/31407)
Jun 03, 2017 3:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/10200 took 659000 ms. Total solver calls (SAT/UNSAT): 71915(40504/31411)
Jun 03, 2017 3:07:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/10200 took 662081 ms. Total solver calls (SAT/UNSAT): 72118(40703/31415)
Jun 03, 2017 3:07:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/10200 took 665174 ms. Total solver calls (SAT/UNSAT): 72321(40902/31419)
Jun 03, 2017 3:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/10200 took 668331 ms. Total solver calls (SAT/UNSAT): 72524(41101/31423)
Jun 03, 2017 3:07:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/10200 took 671491 ms. Total solver calls (SAT/UNSAT): 72727(41300/31427)
Jun 03, 2017 3:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/10200 took 674607 ms. Total solver calls (SAT/UNSAT): 72930(41499/31431)
Jun 03, 2017 3:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/10200 took 677708 ms. Total solver calls (SAT/UNSAT): 73133(41698/31435)
Jun 03, 2017 3:07:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/10200 took 680797 ms. Total solver calls (SAT/UNSAT): 73336(41897/31439)
Jun 03, 2017 3:07:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/10200 took 683889 ms. Total solver calls (SAT/UNSAT): 73539(42096/31443)
Jun 03, 2017 3:07:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/10200 took 686985 ms. Total solver calls (SAT/UNSAT): 73742(42295/31447)
Jun 03, 2017 3:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/10200 took 690096 ms. Total solver calls (SAT/UNSAT): 73945(42494/31451)
Jun 03, 2017 3:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/10200 took 693193 ms. Total solver calls (SAT/UNSAT): 74148(42693/31455)
Jun 03, 2017 3:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/10200 took 696300 ms. Total solver calls (SAT/UNSAT): 74351(42892/31459)
Jun 03, 2017 3:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/10200 took 699412 ms. Total solver calls (SAT/UNSAT): 74554(43091/31463)
Jun 03, 2017 3:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/10200 took 702546 ms. Total solver calls (SAT/UNSAT): 74757(43290/31467)
Jun 03, 2017 3:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/10200 took 705653 ms. Total solver calls (SAT/UNSAT): 74960(43489/31471)
Jun 03, 2017 3:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/10200 took 708757 ms. Total solver calls (SAT/UNSAT): 75163(43688/31475)
Jun 03, 2017 3:08:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/10200 took 711848 ms. Total solver calls (SAT/UNSAT): 75366(43887/31479)
Jun 03, 2017 3:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/10200 took 714939 ms. Total solver calls (SAT/UNSAT): 75569(44086/31483)
Jun 03, 2017 3:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/10200 took 718037 ms. Total solver calls (SAT/UNSAT): 75772(44285/31487)
Jun 03, 2017 3:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/10200 took 721131 ms. Total solver calls (SAT/UNSAT): 75975(44484/31491)
Jun 03, 2017 3:08:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/10200 took 724231 ms. Total solver calls (SAT/UNSAT): 76178(44683/31495)
Jun 03, 2017 3:08:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/10200 took 727326 ms. Total solver calls (SAT/UNSAT): 76381(44882/31499)
Jun 03, 2017 3:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/10200 took 730474 ms. Total solver calls (SAT/UNSAT): 76584(45081/31503)
Jun 03, 2017 3:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/10200 took 733555 ms. Total solver calls (SAT/UNSAT): 76787(45280/31507)
Jun 03, 2017 3:08:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/10200 took 736694 ms. Total solver calls (SAT/UNSAT): 76990(45479/31511)
Jun 03, 2017 3:08:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/10200 took 739761 ms. Total solver calls (SAT/UNSAT): 77193(45678/31515)
Jun 03, 2017 3:08:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/10200 took 742918 ms. Total solver calls (SAT/UNSAT): 77396(45877/31519)
Jun 03, 2017 3:08:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/10200 took 746003 ms. Total solver calls (SAT/UNSAT): 77599(46076/31523)
Jun 03, 2017 3:08:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/10200 took 749073 ms. Total solver calls (SAT/UNSAT): 77802(46275/31527)
Jun 03, 2017 3:09:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/10200 took 752151 ms. Total solver calls (SAT/UNSAT): 78005(46474/31531)
Jun 03, 2017 3:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/10200 took 755314 ms. Total solver calls (SAT/UNSAT): 78208(46673/31535)
Jun 03, 2017 3:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/10200 took 758388 ms. Total solver calls (SAT/UNSAT): 78411(46872/31539)
Jun 03, 2017 3:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/10200 took 761445 ms. Total solver calls (SAT/UNSAT): 78614(47071/31543)
Jun 03, 2017 3:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/10200 took 764576 ms. Total solver calls (SAT/UNSAT): 78817(47270/31547)
Jun 03, 2017 3:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/10200 took 767686 ms. Total solver calls (SAT/UNSAT): 79020(47469/31551)
Jun 03, 2017 3:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/10200 took 770741 ms. Total solver calls (SAT/UNSAT): 79223(47668/31555)
Jun 03, 2017 3:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/10200 took 773805 ms. Total solver calls (SAT/UNSAT): 79426(47867/31559)
Jun 03, 2017 3:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/10200 took 776864 ms. Total solver calls (SAT/UNSAT): 79629(48066/31563)
Jun 03, 2017 3:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/10200 took 779935 ms. Total solver calls (SAT/UNSAT): 79832(48265/31567)
Jun 03, 2017 3:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/10200 took 782982 ms. Total solver calls (SAT/UNSAT): 80035(48464/31571)
Jun 03, 2017 3:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/10200 took 786045 ms. Total solver calls (SAT/UNSAT): 80238(48663/31575)
Jun 03, 2017 3:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/10200 took 789112 ms. Total solver calls (SAT/UNSAT): 80441(48862/31579)
Jun 03, 2017 3:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/10200 took 792186 ms. Total solver calls (SAT/UNSAT): 80644(49061/31583)
Jun 03, 2017 3:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/10200 took 795243 ms. Total solver calls (SAT/UNSAT): 80847(49260/31587)
Jun 03, 2017 3:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/10200 took 798327 ms. Total solver calls (SAT/UNSAT): 81050(49459/31591)
Jun 03, 2017 3:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/10200 took 801387 ms. Total solver calls (SAT/UNSAT): 81253(49658/31595)
Jun 03, 2017 3:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/10200 took 804455 ms. Total solver calls (SAT/UNSAT): 81456(49857/31599)
Jun 03, 2017 3:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/10200 took 807513 ms. Total solver calls (SAT/UNSAT): 81659(50056/31603)
Jun 03, 2017 3:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/10200 took 810560 ms. Total solver calls (SAT/UNSAT): 81862(50255/31607)
Jun 03, 2017 3:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/10200 took 813613 ms. Total solver calls (SAT/UNSAT): 82065(50454/31611)
Jun 03, 2017 3:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/10200 took 816682 ms. Total solver calls (SAT/UNSAT): 82268(50653/31615)
Jun 03, 2017 3:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/10200 took 819728 ms. Total solver calls (SAT/UNSAT): 82471(50852/31619)
Jun 03, 2017 3:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/10200 took 822779 ms. Total solver calls (SAT/UNSAT): 82674(51051/31623)
Jun 03, 2017 3:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/10200 took 825843 ms. Total solver calls (SAT/UNSAT): 82877(51250/31627)
Jun 03, 2017 3:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/10200 took 828905 ms. Total solver calls (SAT/UNSAT): 83080(51449/31631)
Jun 03, 2017 3:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/10200 took 831958 ms. Total solver calls (SAT/UNSAT): 83283(51648/31635)
Jun 03, 2017 3:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/10200 took 835016 ms. Total solver calls (SAT/UNSAT): 83486(51847/31639)
Jun 03, 2017 3:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/10200 took 838082 ms. Total solver calls (SAT/UNSAT): 83689(52046/31643)
Jun 03, 2017 3:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/10200 took 841140 ms. Total solver calls (SAT/UNSAT): 83892(52245/31647)
Jun 03, 2017 3:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/10200 took 844201 ms. Total solver calls (SAT/UNSAT): 84095(52444/31651)
Jun 03, 2017 3:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/10200 took 847251 ms. Total solver calls (SAT/UNSAT): 84298(52643/31655)
Jun 03, 2017 3:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/10200 took 850325 ms. Total solver calls (SAT/UNSAT): 84501(52842/31659)
Jun 03, 2017 3:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/10200 took 853392 ms. Total solver calls (SAT/UNSAT): 84704(53041/31663)
Jun 03, 2017 3:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/10200 took 856470 ms. Total solver calls (SAT/UNSAT): 84907(53240/31667)
Jun 03, 2017 3:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/10200 took 859540 ms. Total solver calls (SAT/UNSAT): 85110(53439/31671)
Jun 03, 2017 3:10:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/10200 took 862609 ms. Total solver calls (SAT/UNSAT): 85313(53638/31675)
Jun 03, 2017 3:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/10200 took 865683 ms. Total solver calls (SAT/UNSAT): 85516(53837/31679)
Jun 03, 2017 3:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/10200 took 868749 ms. Total solver calls (SAT/UNSAT): 85719(54036/31683)
Jun 03, 2017 3:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/10200 took 871801 ms. Total solver calls (SAT/UNSAT): 85922(54235/31687)
Jun 03, 2017 3:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/10200 took 874859 ms. Total solver calls (SAT/UNSAT): 86125(54434/31691)
Jun 03, 2017 3:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/10200 took 877923 ms. Total solver calls (SAT/UNSAT): 86328(54633/31695)
Jun 03, 2017 3:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/10200 took 880967 ms. Total solver calls (SAT/UNSAT): 86531(54832/31699)
Jun 03, 2017 3:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/10200 took 884009 ms. Total solver calls (SAT/UNSAT): 86734(55031/31703)
Jun 03, 2017 3:11:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/10200 took 887064 ms. Total solver calls (SAT/UNSAT): 86937(55230/31707)
Jun 03, 2017 3:11:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/10200 took 890128 ms. Total solver calls (SAT/UNSAT): 87140(55429/31711)
Jun 03, 2017 3:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/10200 took 893184 ms. Total solver calls (SAT/UNSAT): 87343(55628/31715)
Jun 03, 2017 3:11:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/10200 took 896243 ms. Total solver calls (SAT/UNSAT): 87546(55827/31719)
Jun 03, 2017 3:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/10200 took 899304 ms. Total solver calls (SAT/UNSAT): 87749(56026/31723)
Jun 03, 2017 3:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/10200 took 902360 ms. Total solver calls (SAT/UNSAT): 87952(56225/31727)
Jun 03, 2017 3:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/10200 took 905419 ms. Total solver calls (SAT/UNSAT): 88155(56424/31731)
Jun 03, 2017 3:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/10200 took 908477 ms. Total solver calls (SAT/UNSAT): 88358(56623/31735)
Jun 03, 2017 3:11:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/10200 took 911524 ms. Total solver calls (SAT/UNSAT): 88561(56822/31739)
Jun 03, 2017 3:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/10200 took 914603 ms. Total solver calls (SAT/UNSAT): 88764(57021/31743)
Jun 03, 2017 3:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/10200 took 917741 ms. Total solver calls (SAT/UNSAT): 88967(57220/31747)
Jun 03, 2017 3:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/10200 took 920810 ms. Total solver calls (SAT/UNSAT): 89170(57419/31751)
Jun 03, 2017 3:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/10200 took 923869 ms. Total solver calls (SAT/UNSAT): 89373(57618/31755)
Jun 03, 2017 3:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/10200 took 926928 ms. Total solver calls (SAT/UNSAT): 89576(57817/31759)
Jun 03, 2017 3:11:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/10200 took 929994 ms. Total solver calls (SAT/UNSAT): 89779(58016/31763)
Jun 03, 2017 3:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/10200 took 933065 ms. Total solver calls (SAT/UNSAT): 89982(58215/31767)
Jun 03, 2017 3:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/10200 took 936124 ms. Total solver calls (SAT/UNSAT): 90185(58414/31771)
Jun 03, 2017 3:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/10200 took 939200 ms. Total solver calls (SAT/UNSAT): 90388(58613/31775)
Jun 03, 2017 3:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/10200 took 942271 ms. Total solver calls (SAT/UNSAT): 90591(58812/31779)
Jun 03, 2017 3:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/10200 took 945335 ms. Total solver calls (SAT/UNSAT): 90794(59011/31783)
Jun 03, 2017 3:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/10200 took 948393 ms. Total solver calls (SAT/UNSAT): 90997(59210/31787)
Jun 03, 2017 3:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/10200 took 951456 ms. Total solver calls (SAT/UNSAT): 91200(59409/31791)
Jun 03, 2017 3:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/10200 took 961922 ms. Total solver calls (SAT/UNSAT): 101402(59510/41892)
Jun 03, 2017 3:12:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/10200 took 964990 ms. Total solver calls (SAT/UNSAT): 101706(59710/41996)
Jun 03, 2017 3:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/10200 took 967984 ms. Total solver calls (SAT/UNSAT): 101909(59909/42000)
Jun 03, 2017 3:12:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/10200 took 970987 ms. Total solver calls (SAT/UNSAT): 102112(60108/42004)
Jun 03, 2017 3:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/10200 took 973990 ms. Total solver calls (SAT/UNSAT): 102315(60307/42008)
Jun 03, 2017 3:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/10200 took 976978 ms. Total solver calls (SAT/UNSAT): 102518(60506/42012)
Jun 03, 2017 3:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/10200 took 979993 ms. Total solver calls (SAT/UNSAT): 102721(60705/42016)
Jun 03, 2017 3:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/10200 took 983064 ms. Total solver calls (SAT/UNSAT): 102924(60904/42020)
Jun 03, 2017 3:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/10200 took 986120 ms. Total solver calls (SAT/UNSAT): 103127(61103/42024)
Jun 03, 2017 3:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/10200 took 989176 ms. Total solver calls (SAT/UNSAT): 103330(61302/42028)
Jun 03, 2017 3:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/10200 took 992228 ms. Total solver calls (SAT/UNSAT): 103533(61501/42032)
Jun 03, 2017 3:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/10200 took 995296 ms. Total solver calls (SAT/UNSAT): 103736(61700/42036)
Jun 03, 2017 3:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/10200 took 998360 ms. Total solver calls (SAT/UNSAT): 103939(61899/42040)
Jun 03, 2017 3:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/10200 took 1001424 ms. Total solver calls (SAT/UNSAT): 104142(62098/42044)
Jun 03, 2017 3:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/10200 took 1004480 ms. Total solver calls (SAT/UNSAT): 104345(62297/42048)
Jun 03, 2017 3:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/10200 took 1007539 ms. Total solver calls (SAT/UNSAT): 104548(62496/42052)
Jun 03, 2017 3:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/10200 took 1010610 ms. Total solver calls (SAT/UNSAT): 104751(62695/42056)
Jun 03, 2017 3:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/10200 took 1013670 ms. Total solver calls (SAT/UNSAT): 104954(62894/42060)
Jun 03, 2017 3:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/10200 took 1016719 ms. Total solver calls (SAT/UNSAT): 105157(63093/42064)
Jun 03, 2017 3:13:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/10200 took 1019781 ms. Total solver calls (SAT/UNSAT): 105360(63292/42068)
Jun 03, 2017 3:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/10200 took 1022844 ms. Total solver calls (SAT/UNSAT): 105563(63491/42072)
Jun 03, 2017 3:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/10200 took 1025911 ms. Total solver calls (SAT/UNSAT): 105766(63690/42076)
Jun 03, 2017 3:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/10200 took 1028972 ms. Total solver calls (SAT/UNSAT): 105969(63889/42080)
Jun 03, 2017 3:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/10200 took 1032036 ms. Total solver calls (SAT/UNSAT): 106172(64088/42084)
Jun 03, 2017 3:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/10200 took 1035108 ms. Total solver calls (SAT/UNSAT): 106375(64287/42088)
Jun 03, 2017 3:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/10200 took 1038169 ms. Total solver calls (SAT/UNSAT): 106578(64486/42092)
Jun 03, 2017 3:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/10200 took 1041235 ms. Total solver calls (SAT/UNSAT): 106781(64685/42096)
Jun 03, 2017 3:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/10200 took 1044296 ms. Total solver calls (SAT/UNSAT): 106984(64884/42100)
Jun 03, 2017 3:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/10200 took 1047363 ms. Total solver calls (SAT/UNSAT): 107187(65083/42104)
Jun 03, 2017 3:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/10200 took 1050431 ms. Total solver calls (SAT/UNSAT): 107390(65282/42108)
Jun 03, 2017 3:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/10200 took 1053496 ms. Total solver calls (SAT/UNSAT): 107593(65481/42112)
Jun 03, 2017 3:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/10200 took 1056561 ms. Total solver calls (SAT/UNSAT): 107796(65680/42116)
Jun 03, 2017 3:14:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/10200 took 1059622 ms. Total solver calls (SAT/UNSAT): 107999(65879/42120)
Jun 03, 2017 3:14:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/10200 took 1062684 ms. Total solver calls (SAT/UNSAT): 108202(66078/42124)
Jun 03, 2017 3:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/10200 took 1065738 ms. Total solver calls (SAT/UNSAT): 108405(66277/42128)
Jun 03, 2017 3:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/10200 took 1068798 ms. Total solver calls (SAT/UNSAT): 108608(66476/42132)
Jun 03, 2017 3:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/10200 took 1071854 ms. Total solver calls (SAT/UNSAT): 108811(66675/42136)
Jun 03, 2017 3:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/10200 took 1074921 ms. Total solver calls (SAT/UNSAT): 109014(66874/42140)
Jun 03, 2017 3:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/10200 took 1077983 ms. Total solver calls (SAT/UNSAT): 109217(67073/42144)
Jun 03, 2017 3:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/10200 took 1081049 ms. Total solver calls (SAT/UNSAT): 109420(67272/42148)
Jun 03, 2017 3:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/10200 took 1084108 ms. Total solver calls (SAT/UNSAT): 109623(67471/42152)
Jun 03, 2017 3:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/10200 took 1087234 ms. Total solver calls (SAT/UNSAT): 109826(67670/42156)
Jun 03, 2017 3:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/10200 took 1090298 ms. Total solver calls (SAT/UNSAT): 110029(67869/42160)
Jun 03, 2017 3:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/10200 took 1093357 ms. Total solver calls (SAT/UNSAT): 110232(68068/42164)
Jun 03, 2017 3:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/10200 took 1096407 ms. Total solver calls (SAT/UNSAT): 110435(68267/42168)
Jun 03, 2017 3:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/10200 took 1099467 ms. Total solver calls (SAT/UNSAT): 110638(68466/42172)
Jun 03, 2017 3:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/10200 took 1102512 ms. Total solver calls (SAT/UNSAT): 110841(68665/42176)
Jun 03, 2017 3:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/10200 took 1105632 ms. Total solver calls (SAT/UNSAT): 111044(68864/42180)
Jun 03, 2017 3:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/10200 took 1108682 ms. Total solver calls (SAT/UNSAT): 111247(69063/42184)
Jun 03, 2017 3:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/10200 took 1111733 ms. Total solver calls (SAT/UNSAT): 111450(69262/42188)
Jun 03, 2017 3:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/10200 took 1114796 ms. Total solver calls (SAT/UNSAT): 111653(69461/42192)
Jun 03, 2017 3:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/10200 took 1117856 ms. Total solver calls (SAT/UNSAT): 111856(69660/42196)
Jun 03, 2017 3:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/10200 took 1120922 ms. Total solver calls (SAT/UNSAT): 112059(69859/42200)
Jun 03, 2017 3:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/10200 took 1123977 ms. Total solver calls (SAT/UNSAT): 112262(70058/42204)
Jun 03, 2017 3:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/10200 took 1127048 ms. Total solver calls (SAT/UNSAT): 112465(70257/42208)
Jun 03, 2017 3:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/10200 took 1130114 ms. Total solver calls (SAT/UNSAT): 112668(70456/42212)
Jun 03, 2017 3:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/10200 took 1133164 ms. Total solver calls (SAT/UNSAT): 112871(70655/42216)
Jun 03, 2017 3:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/10200 took 1136201 ms. Total solver calls (SAT/UNSAT): 113074(70854/42220)
Jun 03, 2017 3:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/10200 took 1139258 ms. Total solver calls (SAT/UNSAT): 113277(71053/42224)
Jun 03, 2017 3:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/10200 took 1142305 ms. Total solver calls (SAT/UNSAT): 113480(71252/42228)
Jun 03, 2017 3:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/10200 took 1145353 ms. Total solver calls (SAT/UNSAT): 113683(71451/42232)
Jun 03, 2017 3:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/10200 took 1148393 ms. Total solver calls (SAT/UNSAT): 113886(71650/42236)
Jun 03, 2017 3:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/10200 took 1151461 ms. Total solver calls (SAT/UNSAT): 114089(71849/42240)
Jun 03, 2017 3:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/10200 took 1154517 ms. Total solver calls (SAT/UNSAT): 114292(72048/42244)
Jun 03, 2017 3:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/10200 took 1157586 ms. Total solver calls (SAT/UNSAT): 114495(72247/42248)
Jun 03, 2017 3:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/10200 took 1160640 ms. Total solver calls (SAT/UNSAT): 114698(72446/42252)
Jun 03, 2017 3:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/10200 took 1163703 ms. Total solver calls (SAT/UNSAT): 114901(72645/42256)
Jun 03, 2017 3:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/10200 took 1166771 ms. Total solver calls (SAT/UNSAT): 115104(72844/42260)
Jun 03, 2017 3:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/10200 took 1169898 ms. Total solver calls (SAT/UNSAT): 115307(73043/42264)
Jun 03, 2017 3:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/10200 took 1172975 ms. Total solver calls (SAT/UNSAT): 115510(73242/42268)
Jun 03, 2017 3:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/10200 took 1176047 ms. Total solver calls (SAT/UNSAT): 115713(73441/42272)
Jun 03, 2017 3:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/10200 took 1179121 ms. Total solver calls (SAT/UNSAT): 115916(73640/42276)
Jun 03, 2017 3:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/10200 took 1182193 ms. Total solver calls (SAT/UNSAT): 116119(73839/42280)
Jun 03, 2017 3:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/10200 took 1185238 ms. Total solver calls (SAT/UNSAT): 116322(74038/42284)
Jun 03, 2017 3:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/10200 took 1188309 ms. Total solver calls (SAT/UNSAT): 116525(74237/42288)
Jun 03, 2017 3:16:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/10200 took 1191375 ms. Total solver calls (SAT/UNSAT): 116728(74436/42292)
Jun 03, 2017 3:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/10200 took 1194432 ms. Total solver calls (SAT/UNSAT): 116931(74635/42296)
Jun 03, 2017 3:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/10200 took 1197483 ms. Total solver calls (SAT/UNSAT): 117134(74834/42300)
Jun 03, 2017 3:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/10200 took 1200540 ms. Total solver calls (SAT/UNSAT): 117337(75033/42304)
Jun 03, 2017 3:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/10200 took 1203609 ms. Total solver calls (SAT/UNSAT): 117540(75232/42308)
Jun 03, 2017 3:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/10200 took 1206689 ms. Total solver calls (SAT/UNSAT): 117743(75431/42312)
Jun 03, 2017 3:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/10200 took 1209745 ms. Total solver calls (SAT/UNSAT): 117946(75630/42316)
Jun 03, 2017 3:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/10200 took 1212798 ms. Total solver calls (SAT/UNSAT): 118149(75829/42320)
Jun 03, 2017 3:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/10200 took 1215847 ms. Total solver calls (SAT/UNSAT): 118352(76028/42324)
Jun 03, 2017 3:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/10200 took 1218898 ms. Total solver calls (SAT/UNSAT): 118555(76227/42328)
Jun 03, 2017 3:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/10200 took 1221945 ms. Total solver calls (SAT/UNSAT): 118758(76426/42332)
Jun 03, 2017 3:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/10200 took 1224984 ms. Total solver calls (SAT/UNSAT): 118961(76625/42336)
Jun 03, 2017 3:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/10200 took 1228035 ms. Total solver calls (SAT/UNSAT): 119164(76824/42340)
Jun 03, 2017 3:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/10200 took 1231088 ms. Total solver calls (SAT/UNSAT): 119367(77023/42344)
Jun 03, 2017 3:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/10200 took 1234168 ms. Total solver calls (SAT/UNSAT): 119570(77222/42348)
Jun 03, 2017 3:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/10200 took 1237219 ms. Total solver calls (SAT/UNSAT): 119773(77421/42352)
Jun 03, 2017 3:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/10200 took 1240267 ms. Total solver calls (SAT/UNSAT): 119976(77620/42356)
Jun 03, 2017 3:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/10200 took 1243323 ms. Total solver calls (SAT/UNSAT): 120179(77819/42360)
Jun 03, 2017 3:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/10200 took 1246364 ms. Total solver calls (SAT/UNSAT): 120382(78018/42364)
Jun 03, 2017 3:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/10200 took 1249548 ms. Total solver calls (SAT/UNSAT): 120585(78217/42368)
Jun 03, 2017 3:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/10200 took 1252601 ms. Total solver calls (SAT/UNSAT): 120788(78416/42372)
Jun 03, 2017 3:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/10200 took 1255656 ms. Total solver calls (SAT/UNSAT): 120991(78615/42376)
Jun 03, 2017 3:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/10200 took 1258702 ms. Total solver calls (SAT/UNSAT): 121194(78814/42380)
Jun 03, 2017 3:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/10200 took 1261751 ms. Total solver calls (SAT/UNSAT): 121397(79013/42384)
Jun 03, 2017 3:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/10200 took 1264806 ms. Total solver calls (SAT/UNSAT): 121600(79212/42388)
Jun 03, 2017 3:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/10200 took 1275271 ms. Total solver calls (SAT/UNSAT): 131802(79313/52489)
Jun 03, 2017 3:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/10200 took 1278365 ms. Total solver calls (SAT/UNSAT): 132106(79513/52593)
Jun 03, 2017 3:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/10200 took 1281373 ms. Total solver calls (SAT/UNSAT): 132309(79712/52597)
Jun 03, 2017 3:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/10200 took 1284402 ms. Total solver calls (SAT/UNSAT): 132512(79911/52601)
Jun 03, 2017 3:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/10200 took 1287420 ms. Total solver calls (SAT/UNSAT): 132715(80110/52605)
Jun 03, 2017 3:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/10200 took 1290419 ms. Total solver calls (SAT/UNSAT): 132918(80309/52609)
Jun 03, 2017 3:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/10200 took 1293445 ms. Total solver calls (SAT/UNSAT): 133121(80508/52613)
Jun 03, 2017 3:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/10200 took 1296456 ms. Total solver calls (SAT/UNSAT): 133324(80707/52617)
Jun 03, 2017 3:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/10200 took 1299476 ms. Total solver calls (SAT/UNSAT): 133527(80906/52621)
Jun 03, 2017 3:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/10200 took 1302496 ms. Total solver calls (SAT/UNSAT): 133730(81105/52625)
Jun 03, 2017 3:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/10200 took 1305521 ms. Total solver calls (SAT/UNSAT): 133933(81304/52629)
Jun 03, 2017 3:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/10200 took 1308527 ms. Total solver calls (SAT/UNSAT): 134136(81503/52633)
Jun 03, 2017 3:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/10200 took 1311551 ms. Total solver calls (SAT/UNSAT): 134339(81702/52637)
Jun 03, 2017 3:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/10200 took 1314586 ms. Total solver calls (SAT/UNSAT): 134542(81901/52641)
Jun 03, 2017 3:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/10200 took 1317621 ms. Total solver calls (SAT/UNSAT): 134745(82100/52645)
Jun 03, 2017 3:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/10200 took 1320644 ms. Total solver calls (SAT/UNSAT): 134948(82299/52649)
Jun 03, 2017 3:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/10200 took 1323663 ms. Total solver calls (SAT/UNSAT): 135151(82498/52653)
Jun 03, 2017 3:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/10200 took 1326687 ms. Total solver calls (SAT/UNSAT): 135354(82697/52657)
Jun 03, 2017 3:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/10200 took 1329695 ms. Total solver calls (SAT/UNSAT): 135557(82896/52661)
Jun 03, 2017 3:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/10200 took 1332714 ms. Total solver calls (SAT/UNSAT): 135760(83095/52665)
Jun 03, 2017 3:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/10200 took 1335733 ms. Total solver calls (SAT/UNSAT): 135963(83294/52669)
Jun 03, 2017 3:18:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/10200 took 1338746 ms. Total solver calls (SAT/UNSAT): 136166(83493/52673)
Jun 03, 2017 3:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/10200 took 1341767 ms. Total solver calls (SAT/UNSAT): 136369(83692/52677)
Jun 03, 2017 3:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/10200 took 1344786 ms. Total solver calls (SAT/UNSAT): 136572(83891/52681)
Jun 03, 2017 3:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/10200 took 1347807 ms. Total solver calls (SAT/UNSAT): 136775(84090/52685)
Jun 03, 2017 3:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/10200 took 1350822 ms. Total solver calls (SAT/UNSAT): 136978(84289/52689)
Jun 03, 2017 3:19:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/10200 took 1353839 ms. Total solver calls (SAT/UNSAT): 137181(84488/52693)
Jun 03, 2017 3:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/10200 took 1356879 ms. Total solver calls (SAT/UNSAT): 137384(84687/52697)
Jun 03, 2017 3:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/10200 took 1359957 ms. Total solver calls (SAT/UNSAT): 137587(84886/52701)
Jun 03, 2017 3:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/10200 took 1363033 ms. Total solver calls (SAT/UNSAT): 137790(85085/52705)
Jun 03, 2017 3:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/10200 took 1366098 ms. Total solver calls (SAT/UNSAT): 137993(85284/52709)
Jun 03, 2017 3:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/10200 took 1369183 ms. Total solver calls (SAT/UNSAT): 138196(85483/52713)
Jun 03, 2017 3:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/10200 took 1372264 ms. Total solver calls (SAT/UNSAT): 138399(85682/52717)
Jun 03, 2017 3:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/10200 took 1375336 ms. Total solver calls (SAT/UNSAT): 138602(85881/52721)
Jun 03, 2017 3:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/10200 took 1378408 ms. Total solver calls (SAT/UNSAT): 138805(86080/52725)
Jun 03, 2017 3:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/10200 took 1381496 ms. Total solver calls (SAT/UNSAT): 139008(86279/52729)
Jun 03, 2017 3:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/10200 took 1384580 ms. Total solver calls (SAT/UNSAT): 139211(86478/52733)
Jun 03, 2017 3:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/10200 took 1387658 ms. Total solver calls (SAT/UNSAT): 139414(86677/52737)
Jun 03, 2017 3:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/10200 took 1390727 ms. Total solver calls (SAT/UNSAT): 139617(86876/52741)
Jun 03, 2017 3:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/10200 took 1393802 ms. Total solver calls (SAT/UNSAT): 139820(87075/52745)
Jun 03, 2017 3:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/10200 took 1396876 ms. Total solver calls (SAT/UNSAT): 140023(87274/52749)
Jun 03, 2017 3:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/10200 took 1399963 ms. Total solver calls (SAT/UNSAT): 140226(87473/52753)
Jun 03, 2017 3:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/10200 took 1403037 ms. Total solver calls (SAT/UNSAT): 140429(87672/52757)
Jun 03, 2017 3:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/10200 took 1406125 ms. Total solver calls (SAT/UNSAT): 140632(87871/52761)
Jun 03, 2017 3:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/10200 took 1409190 ms. Total solver calls (SAT/UNSAT): 140835(88070/52765)
Jun 03, 2017 3:20:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/10200 took 1412265 ms. Total solver calls (SAT/UNSAT): 141038(88269/52769)
Jun 03, 2017 3:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/10200 took 1415337 ms. Total solver calls (SAT/UNSAT): 141241(88468/52773)
Jun 03, 2017 3:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/10200 took 1418413 ms. Total solver calls (SAT/UNSAT): 141444(88667/52777)
Jun 03, 2017 3:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/10200 took 1421476 ms. Total solver calls (SAT/UNSAT): 141647(88866/52781)
Jun 03, 2017 3:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/10200 took 1424539 ms. Total solver calls (SAT/UNSAT): 141850(89065/52785)
Jun 03, 2017 3:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/10200 took 1427611 ms. Total solver calls (SAT/UNSAT): 142053(89264/52789)
Jun 03, 2017 3:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/10200 took 1430686 ms. Total solver calls (SAT/UNSAT): 142256(89463/52793)
Jun 03, 2017 3:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/10200 took 1433751 ms. Total solver calls (SAT/UNSAT): 142459(89662/52797)
Jun 03, 2017 3:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/10200 took 1436804 ms. Total solver calls (SAT/UNSAT): 142662(89861/52801)
Jun 03, 2017 3:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/10200 took 1439881 ms. Total solver calls (SAT/UNSAT): 142865(90060/52805)
Jun 03, 2017 3:20:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/10200 took 1442948 ms. Total solver calls (SAT/UNSAT): 143068(90259/52809)
Jun 03, 2017 3:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/10200 took 1446000 ms. Total solver calls (SAT/UNSAT): 143271(90458/52813)
Jun 03, 2017 3:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/10200 took 1449049 ms. Total solver calls (SAT/UNSAT): 143474(90657/52817)
Jun 03, 2017 3:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/10200 took 1452124 ms. Total solver calls (SAT/UNSAT): 143677(90856/52821)
Jun 03, 2017 3:20:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/10200 took 1455192 ms. Total solver calls (SAT/UNSAT): 143880(91055/52825)
Jun 03, 2017 3:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/10200 took 1458246 ms. Total solver calls (SAT/UNSAT): 144083(91254/52829)
Jun 03, 2017 3:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/10200 took 1461298 ms. Total solver calls (SAT/UNSAT): 144286(91453/52833)
Jun 03, 2017 3:20:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/10200 took 1464370 ms. Total solver calls (SAT/UNSAT): 144489(91652/52837)
Jun 03, 2017 3:20:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/10200 took 1467452 ms. Total solver calls (SAT/UNSAT): 144692(91851/52841)
Jun 03, 2017 3:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/10200 took 1470526 ms. Total solver calls (SAT/UNSAT): 144895(92050/52845)
Jun 03, 2017 3:21:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/10200 took 1473594 ms. Total solver calls (SAT/UNSAT): 145098(92249/52849)
Jun 03, 2017 3:21:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/10200 took 1476659 ms. Total solver calls (SAT/UNSAT): 145301(92448/52853)
Jun 03, 2017 3:21:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/10200 took 1479730 ms. Total solver calls (SAT/UNSAT): 145504(92647/52857)
Jun 03, 2017 3:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/10200 took 1482811 ms. Total solver calls (SAT/UNSAT): 145707(92846/52861)
Jun 03, 2017 3:21:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/10200 took 1485880 ms. Total solver calls (SAT/UNSAT): 145910(93045/52865)
Jun 03, 2017 3:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/10200 took 1488942 ms. Total solver calls (SAT/UNSAT): 146113(93244/52869)
Jun 03, 2017 3:21:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/10200 took 1492007 ms. Total solver calls (SAT/UNSAT): 146316(93443/52873)
Jun 03, 2017 3:21:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/10200 took 1495077 ms. Total solver calls (SAT/UNSAT): 146519(93642/52877)
Jun 03, 2017 3:21:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/10200 took 1498134 ms. Total solver calls (SAT/UNSAT): 146722(93841/52881)
Jun 03, 2017 3:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/10200 took 1501206 ms. Total solver calls (SAT/UNSAT): 146925(94040/52885)
Jun 03, 2017 3:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/10200 took 1504276 ms. Total solver calls (SAT/UNSAT): 147128(94239/52889)
Jun 03, 2017 3:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/10200 took 1507343 ms. Total solver calls (SAT/UNSAT): 147331(94438/52893)
Jun 03, 2017 3:21:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/10200 took 1510401 ms. Total solver calls (SAT/UNSAT): 147534(94637/52897)
Jun 03, 2017 3:21:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/10200 took 1513451 ms. Total solver calls (SAT/UNSAT): 147737(94836/52901)
Jun 03, 2017 3:21:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/10200 took 1516513 ms. Total solver calls (SAT/UNSAT): 147940(95035/52905)
Jun 03, 2017 3:21:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/10200 took 1519586 ms. Total solver calls (SAT/UNSAT): 148143(95234/52909)
Jun 03, 2017 3:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/10200 took 1522649 ms. Total solver calls (SAT/UNSAT): 148346(95433/52913)
Jun 03, 2017 3:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/10200 took 1525714 ms. Total solver calls (SAT/UNSAT): 148549(95632/52917)
Jun 03, 2017 3:21:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/10200 took 1528779 ms. Total solver calls (SAT/UNSAT): 148752(95831/52921)
Jun 03, 2017 3:21:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/10200 took 1531854 ms. Total solver calls (SAT/UNSAT): 148955(96030/52925)
Jun 03, 2017 3:22:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/10200 took 1534925 ms. Total solver calls (SAT/UNSAT): 149158(96229/52929)
Jun 03, 2017 3:22:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/10200 took 1537991 ms. Total solver calls (SAT/UNSAT): 149361(96428/52933)
Jun 03, 2017 3:22:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/10200 took 1541063 ms. Total solver calls (SAT/UNSAT): 149564(96627/52937)
Jun 03, 2017 3:22:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/10200 took 1544131 ms. Total solver calls (SAT/UNSAT): 149767(96826/52941)
Jun 03, 2017 3:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/10200 took 1547199 ms. Total solver calls (SAT/UNSAT): 149970(97025/52945)
Jun 03, 2017 3:22:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/10200 took 1550271 ms. Total solver calls (SAT/UNSAT): 150173(97224/52949)
Jun 03, 2017 3:22:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/10200 took 1553343 ms. Total solver calls (SAT/UNSAT): 150376(97423/52953)
Jun 03, 2017 3:22:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/10200 took 1556463 ms. Total solver calls (SAT/UNSAT): 150579(97622/52957)
Jun 03, 2017 3:22:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/10200 took 1559524 ms. Total solver calls (SAT/UNSAT): 150782(97821/52961)
Jun 03, 2017 3:22:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/10200 took 1562582 ms. Total solver calls (SAT/UNSAT): 150985(98020/52965)
Jun 03, 2017 3:22:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/10200 took 1565653 ms. Total solver calls (SAT/UNSAT): 151188(98219/52969)
Jun 03, 2017 3:22:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/10200 took 1568716 ms. Total solver calls (SAT/UNSAT): 151391(98418/52973)
Jun 03, 2017 3:22:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/10200 took 1571790 ms. Total solver calls (SAT/UNSAT): 151594(98617/52977)
Jun 03, 2017 3:22:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/10200 took 1574868 ms. Total solver calls (SAT/UNSAT): 151797(98816/52981)
Jun 03, 2017 3:22:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/10200 took 1577937 ms. Total solver calls (SAT/UNSAT): 152000(99015/52985)
Jun 03, 2017 3:22:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/10200 took 1588395 ms. Total solver calls (SAT/UNSAT): 162202(99116/63086)
Jun 03, 2017 3:22:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/10200 took 1591499 ms. Total solver calls (SAT/UNSAT): 162506(99316/63190)
Jun 03, 2017 3:23:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/10200 took 1594528 ms. Total solver calls (SAT/UNSAT): 162709(99515/63194)
Jun 03, 2017 3:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/10200 took 1597577 ms. Total solver calls (SAT/UNSAT): 162912(99714/63198)
Jun 03, 2017 3:23:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/10200 took 1600625 ms. Total solver calls (SAT/UNSAT): 163115(99913/63202)
Jun 03, 2017 3:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/10200 took 1603669 ms. Total solver calls (SAT/UNSAT): 163318(100112/63206)
Jun 03, 2017 3:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/10200 took 1606703 ms. Total solver calls (SAT/UNSAT): 163521(100311/63210)
Jun 03, 2017 3:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/10200 took 1609748 ms. Total solver calls (SAT/UNSAT): 163724(100510/63214)
Jun 03, 2017 3:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/10200 took 1612794 ms. Total solver calls (SAT/UNSAT): 163927(100709/63218)
Jun 03, 2017 3:23:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/10200 took 1615845 ms. Total solver calls (SAT/UNSAT): 164130(100908/63222)
Jun 03, 2017 3:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/10200 took 1618896 ms. Total solver calls (SAT/UNSAT): 164333(101107/63226)
Jun 03, 2017 3:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/10200 took 1621948 ms. Total solver calls (SAT/UNSAT): 164536(101306/63230)
Jun 03, 2017 3:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/10200 took 1624997 ms. Total solver calls (SAT/UNSAT): 164739(101505/63234)
Jun 03, 2017 3:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/10200 took 1628048 ms. Total solver calls (SAT/UNSAT): 164942(101704/63238)
Jun 03, 2017 3:23:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/10200 took 1631097 ms. Total solver calls (SAT/UNSAT): 165145(101903/63242)
Jun 03, 2017 3:23:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/10200 took 1634144 ms. Total solver calls (SAT/UNSAT): 165348(102102/63246)
Jun 03, 2017 3:23:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/10200 took 1637186 ms. Total solver calls (SAT/UNSAT): 165551(102301/63250)
Jun 03, 2017 3:23:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/10200 took 1640228 ms. Total solver calls (SAT/UNSAT): 165754(102500/63254)
Jun 03, 2017 3:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/10200 took 1643257 ms. Total solver calls (SAT/UNSAT): 165957(102699/63258)
Jun 03, 2017 3:23:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/10200 took 1646299 ms. Total solver calls (SAT/UNSAT): 166160(102898/63262)
Jun 03, 2017 3:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/10200 took 1649345 ms. Total solver calls (SAT/UNSAT): 166363(103097/63266)
Jun 03, 2017 3:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/10200 took 1652384 ms. Total solver calls (SAT/UNSAT): 166566(103296/63270)
Jun 03, 2017 3:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/10200 took 1655420 ms. Total solver calls (SAT/UNSAT): 166769(103495/63274)
Jun 03, 2017 3:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/10200 took 1658468 ms. Total solver calls (SAT/UNSAT): 166972(103694/63278)
Jun 03, 2017 3:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/10200 took 1661531 ms. Total solver calls (SAT/UNSAT): 167175(103893/63282)
Jun 03, 2017 3:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/10200 took 1664568 ms. Total solver calls (SAT/UNSAT): 167378(104092/63286)
Jun 03, 2017 3:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/10200 took 1667604 ms. Total solver calls (SAT/UNSAT): 167581(104291/63290)
Jun 03, 2017 3:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/10200 took 1670643 ms. Total solver calls (SAT/UNSAT): 167784(104490/63294)
Jun 03, 2017 3:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/10200 took 1673687 ms. Total solver calls (SAT/UNSAT): 167987(104689/63298)
Jun 03, 2017 3:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/10200 took 1676727 ms. Total solver calls (SAT/UNSAT): 168190(104888/63302)
Jun 03, 2017 3:24:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/10200 took 1679773 ms. Total solver calls (SAT/UNSAT): 168393(105087/63306)
Jun 03, 2017 3:24:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/10200 took 1682819 ms. Total solver calls (SAT/UNSAT): 168596(105286/63310)
Jun 03, 2017 3:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/10200 took 1685868 ms. Total solver calls (SAT/UNSAT): 168799(105485/63314)
Jun 03, 2017 3:24:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/10200 took 1688903 ms. Total solver calls (SAT/UNSAT): 169002(105684/63318)
Jun 03, 2017 3:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/10200 took 1691949 ms. Total solver calls (SAT/UNSAT): 169205(105883/63322)
Jun 03, 2017 3:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/10200 took 1694993 ms. Total solver calls (SAT/UNSAT): 169408(106082/63326)
Jun 03, 2017 3:24:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/10200 took 1698047 ms. Total solver calls (SAT/UNSAT): 169611(106281/63330)
Jun 03, 2017 3:24:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/10200 took 1701089 ms. Total solver calls (SAT/UNSAT): 169814(106480/63334)
Jun 03, 2017 3:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/10200 took 1704135 ms. Total solver calls (SAT/UNSAT): 170017(106679/63338)
Jun 03, 2017 3:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/10200 took 1707180 ms. Total solver calls (SAT/UNSAT): 170220(106878/63342)
Jun 03, 2017 3:24:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/10200 took 1710231 ms. Total solver calls (SAT/UNSAT): 170423(107077/63346)
Jun 03, 2017 3:25:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/10200 took 1713291 ms. Total solver calls (SAT/UNSAT): 170626(107276/63350)
Jun 03, 2017 3:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/10200 took 1716348 ms. Total solver calls (SAT/UNSAT): 170829(107475/63354)
Jun 03, 2017 3:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/10200 took 1719406 ms. Total solver calls (SAT/UNSAT): 171032(107674/63358)
Jun 03, 2017 3:25:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/10200 took 1722444 ms. Total solver calls (SAT/UNSAT): 171235(107873/63362)
Jun 03, 2017 3:25:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/10200 took 1725506 ms. Total solver calls (SAT/UNSAT): 171438(108072/63366)
Jun 03, 2017 3:25:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/10200 took 1728573 ms. Total solver calls (SAT/UNSAT): 171641(108271/63370)
Jun 03, 2017 3:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/10200 took 1731633 ms. Total solver calls (SAT/UNSAT): 171844(108470/63374)
Jun 03, 2017 3:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/10200 took 1734681 ms. Total solver calls (SAT/UNSAT): 172047(108669/63378)
Jun 03, 2017 3:25:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/10200 took 1737749 ms. Total solver calls (SAT/UNSAT): 172250(108868/63382)
Jun 03, 2017 3:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/10200 took 1740881 ms. Total solver calls (SAT/UNSAT): 172453(109067/63386)
Jun 03, 2017 3:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/10200 took 1743962 ms. Total solver calls (SAT/UNSAT): 172656(109266/63390)
Jun 03, 2017 3:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/10200 took 1747012 ms. Total solver calls (SAT/UNSAT): 172859(109465/63394)
Jun 03, 2017 3:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/10200 took 1750048 ms. Total solver calls (SAT/UNSAT): 173062(109664/63398)
Jun 03, 2017 3:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/10200 took 1753103 ms. Total solver calls (SAT/UNSAT): 173265(109863/63402)
Jun 03, 2017 3:25:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/10200 took 1756149 ms. Total solver calls (SAT/UNSAT): 173468(110062/63406)
Jun 03, 2017 3:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/10200 took 1759174 ms. Total solver calls (SAT/UNSAT): 173671(110261/63410)
Jun 03, 2017 3:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/10200 took 1762209 ms. Total solver calls (SAT/UNSAT): 173874(110460/63414)
Jun 03, 2017 3:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/10200 took 1765265 ms. Total solver calls (SAT/UNSAT): 174077(110659/63418)
Jun 03, 2017 3:25:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/10200 took 1768314 ms. Total solver calls (SAT/UNSAT): 174280(110858/63422)
Jun 03, 2017 3:25:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/10200 took 1771355 ms. Total solver calls (SAT/UNSAT): 174483(111057/63426)
Jun 03, 2017 3:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/10200 took 1774402 ms. Total solver calls (SAT/UNSAT): 174686(111256/63430)
Jun 03, 2017 3:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/10200 took 1777462 ms. Total solver calls (SAT/UNSAT): 174889(111455/63434)
Jun 03, 2017 3:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/10200 took 1780515 ms. Total solver calls (SAT/UNSAT): 175092(111654/63438)
Jun 03, 2017 3:26:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/10200 took 1783566 ms. Total solver calls (SAT/UNSAT): 175295(111853/63442)
Jun 03, 2017 3:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/10200 took 1786611 ms. Total solver calls (SAT/UNSAT): 175498(112052/63446)
Jun 03, 2017 3:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/10200 took 1789668 ms. Total solver calls (SAT/UNSAT): 175701(112251/63450)
Jun 03, 2017 3:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/10200 took 1792725 ms. Total solver calls (SAT/UNSAT): 175904(112450/63454)
Jun 03, 2017 3:26:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/10200 took 1795784 ms. Total solver calls (SAT/UNSAT): 176107(112649/63458)
Jun 03, 2017 3:26:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/10200 took 1798907 ms. Total solver calls (SAT/UNSAT): 176310(112848/63462)
Jun 03, 2017 3:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/10200 took 1801960 ms. Total solver calls (SAT/UNSAT): 176513(113047/63466)
Jun 03, 2017 3:26:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/10200 took 1805007 ms. Total solver calls (SAT/UNSAT): 176716(113246/63470)
Jun 03, 2017 3:26:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/10200 took 1808048 ms. Total solver calls (SAT/UNSAT): 176919(113445/63474)
Jun 03, 2017 3:26:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/10200 took 1811078 ms. Total solver calls (SAT/UNSAT): 177122(113644/63478)
Jun 03, 2017 3:26:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/10200 took 1814119 ms. Total solver calls (SAT/UNSAT): 177325(113843/63482)
Jun 03, 2017 3:26:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/10200 took 1817162 ms. Total solver calls (SAT/UNSAT): 177528(114042/63486)
Jun 03, 2017 3:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/10200 took 1820174 ms. Total solver calls (SAT/UNSAT): 177731(114241/63490)
Jun 03, 2017 3:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/10200 took 1823204 ms. Total solver calls (SAT/UNSAT): 177934(114440/63494)
Jun 03, 2017 3:26:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/10200 took 1826237 ms. Total solver calls (SAT/UNSAT): 178137(114639/63498)
Jun 03, 2017 3:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/10200 took 1829276 ms. Total solver calls (SAT/UNSAT): 178340(114838/63502)
Jun 03, 2017 3:26:59 PM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
Reverse transition relation is NOT exact ! Due to transitions exit_0, exit_1, exit_2, exit_3, exit_4, exit_5, exit_6, exit_7, exit_8, exit_9, exit_10, exit_11, exit_12, exit_13, exit_14, exit_15, exit_16, exit_17, exit_18, exit_19, exit_20, exit_21, exit_22, exit_23, exit_24, exit_25, exit_26, exit_27, exit_28, exit_29, exit_30, exit_31, exit_32, exit_33, exit_34, exit_35, exit_36, exit_37, exit_38, exit_39, exit_40, exit_41, exit_42, exit_43, exit_44, exit_45, exit_46, exit_47, exit_48, exit_49, exit_50, exit_51, exit_52, exit_53, exit_54, exit_55, exit_56, exit_57, exit_58, exit_59, exit_60, exit_61, exit_62, exit_63, exit_64, exit_65, exit_66, exit_67, exit_68, exit_69, exit_70, exit_71, exit_72, exit_73, exit_74, exit_75, exit_76, exit_77, exit_78, exit_79, exit_80, exit_81, exit_82, exit_83, exit_84, exit_85, exit_86, exit_87, exit_88, exit_89, exit_90, exit_91, exit_92, exit_93, exit_94, exit_95, exit_96, exit_97, exit_98, exit_99, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/10100/100/10200

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_Dekker-PT-100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_Dekker-PT-100.tgz
mv S_Dekker-PT-100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool itstools"
echo " Input is S_Dekker-PT-100, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r100-ebro-149488457500213"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;