Issue | #Downvotes for this reason | By |
---|
algorithm (target) | nominal | 11 unique values 0 missing | |
instance_id | string | 1294 unique values 0 missing | |
repetition | numeric | 1 unique values 0 missing | |
Frac_Neg_Body | numeric | 684 unique values 16 missing | |
Frac_Pos_Body | numeric | 720 unique values 16 missing | |
Frac_Unary_Rules | numeric | 533 unique values 16 missing | |
Frac_Binary_Rules | numeric | 879 unique values 16 missing | |
Frac_Ternary_Rules | numeric | 908 unique values 16 missing | |
Frac_Integrity_Rules | numeric | 715 unique values 16 missing | |
Tight | numeric | 2 unique values 16 missing | |
Problem_Variables | numeric | 1124 unique values 16 missing | |
Free_Problem_Variables | numeric | 1063 unique values 16 missing | |
Assigned_Problem_Variables | numeric | 904 unique values 16 missing | |
Constraints | numeric | 1169 unique values 16 missing | |
Constraints.Vars | numeric | 1028 unique values 16 missing | |
Created_Bodies | numeric | 1104 unique values 16 missing | |
Program_Atoms | numeric | 1033 unique values 16 missing | |
SCCS | numeric | 52 unique values 16 missing | |
Nodes_in_Positive_BADG | numeric | 524 unique values 16 missing | |
Rules | numeric | 1099 unique values 16 missing | |
Normal_Rules | numeric | 1103 unique values 16 missing | |
Cardinality_Rules | numeric | 379 unique values 16 missing | |
Choice_Rules | numeric | 509 unique values 16 missing | |
Weight_Rules | numeric | 32 unique values 16 missing | |
Frac_Normal_Rules | numeric | 515 unique values 16 missing | |
Frac_Cardinality_Rules | numeric | 330 unique values 16 missing | |
Frac_Choice_Rules | numeric | 434 unique values 16 missing | |
Frac_Weight_Rules | numeric | 39 unique values 16 missing | |
Equivalences | numeric | 1118 unique values 16 missing | |
Atom.Atom_Equivalences | numeric | 933 unique values 16 missing | |
Body.Body_Equivalences | numeric | 775 unique values 16 missing | |
Other_Equivalences | numeric | 1103 unique values 16 missing | |
Frac_Atom.Atom_Equivalences | numeric | 815 unique values 16 missing | |
Frac_Body.Body_Equivalences | numeric | 635 unique values 16 missing | |
Frac_Other_Equivalences | numeric | 864 unique values 16 missing | |
Binary_Constraints | numeric | 1134 unique values 16 missing | |
Ternary_Constraints | numeric | 1018 unique values 16 missing | |
Other_Constraints | numeric | 930 unique values 16 missing | |
Frac_Binary_Constraints | numeric | 748 unique values 16 missing | |
Frac_Ternary_Constraints | numeric | 702 unique values 16 missing | |
Frac_Other_Constraints | numeric | 651 unique values 16 missing | |
Choices.1 | numeric | 465 unique values 135 missing | |
Conflicts.Choices.1 | numeric | 612 unique values 135 missing | |
Avg_Conflict_Levels.1 | numeric | 971 unique values 135 missing | |
Avg_LBD_Levels.1 | numeric | 570 unique values 135 missing | |
Learnt_from_Conflict.1 | numeric | 6 unique values 135 missing | |
Learnt_from_Loop.1 | numeric | 251 unique values 135 missing | |
Frac_Learnt_from_Conflict.1 | numeric | 231 unique values 135 missing | |
Frac_Learnt_from_Loop.1 | numeric | 231 unique values 135 missing | |
Literals_in_Conflict_Nogoods.1 | numeric | 729 unique values 135 missing | |
Literals_in_Loop_Nogoods.1 | numeric | 304 unique values 135 missing | |
Frac_Literals_in_Conflict_Nogoods.1 | numeric | 319 unique values 135 missing | |
Frac_Literals_in_Loop_Nogoods.1 | numeric | 319 unique values 135 missing | |
Removed_Nogoods.1 | numeric | 1 unique values 135 missing | |
Learnt_Binary.1 | numeric | 31 unique values 135 missing | |
Learnt_Ternary.1 | numeric | 38 unique values 135 missing | |
Learnt_Others.1 | numeric | 279 unique values 135 missing | |
Frac_Removed_Nogood.1 | numeric | 1 unique values 135 missing | |
Frac_Learnt_Binary.1 | numeric | 174 unique values 135 missing | |
Frac_Learnt_Ternary.1 | numeric | 208 unique values 135 missing | |
Frac_Learnt_Others.1 | numeric | 246 unique values 135 missing | |
Skipped_Levels_while_Backjumping.1 | numeric | 389 unique values 135 missing | |
Avg_Skipped_Levels_while_Backjumping.1 | numeric | 513 unique values 135 missing | |
Longest_Backjumping.1 | numeric | 190 unique values 135 missing | |
Running_Avg_Conflictlevel.1 | numeric | 910 unique values 135 missing | |
Running_Avg_LBD.1 | numeric | 446 unique values 135 missing | |
Choices.2 | numeric | 644 unique values 162 missing | |
Conflicts.Choices.2 | numeric | 791 unique values 162 missing | |
Avg_Conflict_Levels.2 | numeric | 1037 unique values 162 missing | |
Avg_LBD_Levels.2 | numeric | 760 unique values 162 missing | |
Learnt_from_Conflict.2 | numeric | 12 unique values 162 missing | |
Learnt_from_Loop.2 | numeric | 281 unique values 162 missing | |
Frac_Learnt_from_Conflict.2 | numeric | 270 unique values 162 missing | |
Frac_Learnt_from_Loop.2 | numeric | 270 unique values 162 missing | |
Literals_in_Conflict_Nogoods.2 | numeric | 844 unique values 162 missing | |
Literals_in_Loop_Nogoods.2 | numeric | 333 unique values 162 missing | |
Frac_Literals_in_Conflict_Nogoods.2 | numeric | 355 unique values 162 missing | |
Frac_Literals_in_Loop_Nogoods.2 | numeric | 355 unique values 162 missing | |
Removed_Nogoods.2 | numeric | 1 unique values 162 missing | |
Learnt_Binary.2 | numeric | 50 unique values 162 missing | |
Learnt_Ternary.2 | numeric | 63 unique values 162 missing | |
Learnt_Others.2 | numeric | 315 unique values 162 missing | |
Frac_Removed_Nogood.2 | numeric | 1 unique values 162 missing | |
Frac_Learnt_Binary.2 | numeric | 299 unique values 162 missing | |
Frac_Learnt_Ternary.2 | numeric | 339 unique values 162 missing | |
Frac_Learnt_Others.2 | numeric | 422 unique values 162 missing | |
Skipped_Levels_while_Backjumping.2 | numeric | 573 unique values 162 missing | |
Avg_Skipped_Levels_while_Backjumping.2 | numeric | 794 unique values 162 missing | |
Longest_Backjumping.2 | numeric | 283 unique values 162 missing | |
Running_Avg_Conflictlevel.2 | numeric | 973 unique values 162 missing | |
Running_Avg_LBD.2 | numeric | 567 unique values 162 missing | |
Choices.3 | numeric | 717 unique values 191 missing | |
Conflicts.Choices.3 | numeric | 852 unique values 191 missing | |
Avg_Conflict_Levels.3 | numeric | 1029 unique values 191 missing | |
Avg_LBD_Levels.3 | numeric | 846 unique values 191 missing | |
Learnt_from_Conflict.3 | numeric | 12 unique values 191 missing | |
Learnt_from_Loop.3 | numeric | 290 unique values 191 missing | |
Frac_Learnt_from_Conflict.3 | numeric | 315 unique values 191 missing | |
Frac_Learnt_from_Loop.3 | numeric | 315 unique values 191 missing | |
Literals_in_Conflict_Nogoods.3 | numeric | 908 unique values 191 missing | |
Literals_in_Loop_Nogoods.3 | numeric | 364 unique values 191 missing | |
Frac_Literals_in_Conflict_Nogoods.3 | numeric | 373 unique values 191 missing | |
Frac_Literals_in_Loop_Nogoods.3 | numeric | 373 unique values 191 missing | |
Removed_Nogoods.3 | numeric | 2 unique values 191 missing | |
Learnt_Binary.3 | numeric | 61 unique values 191 missing | |
Learnt_Ternary.3 | numeric | 86 unique values 191 missing | |
Learnt_Others.3 | numeric | 329 unique values 191 missing | |
Frac_Removed_Nogood.3 | numeric | 2 unique values 191 missing | |
Frac_Learnt_Binary.3 | numeric | 383 unique values 191 missing | |
Frac_Learnt_Ternary.3 | numeric | 411 unique values 191 missing | |
Frac_Learnt_Others.3 | numeric | 517 unique values 191 missing | |
Skipped_Levels_while_Backjumping.3 | numeric | 670 unique values 191 missing | |
Avg_Skipped_Levels_while_Backjumping.3 | numeric | 888 unique values 191 missing | |
Longest_Backjumping.3 | numeric | 301 unique values 191 missing | |
Running_Avg_Conflictlevel.3 | numeric | 986 unique values 191 missing | |
Running_Avg_LBD.3 | numeric | 633 unique values 191 missing | |
Choices.4 | numeric | 777 unique values 218 missing | |
Conflicts.Choices.4 | numeric | 858 unique values 218 missing | |
Avg_Conflict_Levels.4 | numeric | 1015 unique values 218 missing | |
Avg_LBD_Levels.4 | numeric | 879 unique values 218 missing | |
Learnt_from_Conflict.4 | numeric | 10 unique values 218 missing | |
Learnt_from_Loop.4 | numeric | 295 unique values 218 missing | |
Frac_Learnt_from_Conflict.4 | numeric | 330 unique values 218 missing | |
Frac_Learnt_from_Loop.4 | numeric | 330 unique values 218 missing | |
Literals_in_Conflict_Nogoods.4 | numeric | 916 unique values 218 missing | |
Literals_in_Loop_Nogoods.4 | numeric | 373 unique values 218 missing | |
Frac_Literals_in_Conflict_Nogoods.4 | numeric | 379 unique values 218 missing | |
Frac_Literals_in_Loop_Nogoods.4 | numeric | 379 unique values 218 missing | |
Removed_Nogoods.4 | numeric | 6 unique values 218 missing | |
Learnt_Binary.4 | numeric | 74 unique values 218 missing | |
Learnt_Ternary.4 | numeric | 106 unique values 218 missing | |
Learnt_Others.4 | numeric | 344 unique values 218 missing | |
Frac_Removed_Nogood.4 | numeric | 12 unique values 218 missing | |
Frac_Learnt_Binary.4 | numeric | 434 unique values 218 missing | |
Frac_Learnt_Ternary.4 | numeric | 472 unique values 218 missing | |
Frac_Learnt_Others.4 | numeric | 572 unique values 218 missing | |
Skipped_Levels_while_Backjumping.4 | numeric | 712 unique values 218 missing | |
Avg_Skipped_Levels_while_Backjumping.4 | numeric | 919 unique values 218 missing | |
Longest_Backjumping.4 | numeric | 306 unique values 218 missing | |
Running_Avg_Conflictlevel.4 | numeric | 958 unique values 218 missing | |
Running_Avg_LBD.4 | numeric | 576 unique values 218 missing | |
runtime | numeric | 1250 unique values 0 missing | |
runstatus | nominal | 2 unique values 0 missing |